离散数学置换规则
由两个具有给定次序的个体a，b组成的序列，称为序偶或有序对，记作(a，b)，其中a，b常称为该序偶的第1个和第2个分量或坐标。
设(a，b)和(c，d)是两个序偶，若a=c且b=d，则称这两个序偶相等，并记作(a，b)=(c，d)。
序偶的概念可以推广到有序n元组即有序n元组。
假设非空有限集合S包含n个元素， S上的一个双射称为S的一个n元置换或简称置换(permutation)，一般地讲，假设S是有n个元素的有限集，则
(a)S的任一个置换都有n!种不同的表示
(b)s共有n!个彼此不同的置换
设A、B、C是任意集合，则有
设X（A）是含公式A的命题公式，X（B）是用公式B置换X（A）中A的所有出现后得到的命题公式，若B等价于A，则X（A）等值于X（B）.这就是置换的定义。其本质上就是两个不同名称的转换。
绛旓細(a)S鐨勪换涓涓缃崲閮芥湁n!绉嶄笉鍚岀殑琛ㄧず (b)s鍏辨湁n!涓郊姝や笉鍚岀殑缃崲 璁続銆丅銆丆鏄换鎰忛泦鍚堬紝鍒欐湁
绛旓細鈹恠鈭р攼r1缃崲銆傗攼s2鍖栫畝銆俻鈫抯鍓嶆彁寮曞叆銆傗攼p34鎷掑彇寮忋傗攼r2鍖栫畝銆俼鈫抮鍓嶆彁寮曞叆銆傗攼q67鎷掑彇寮忋傗攼p鈭р攼q58鍚堝彇銆傚洜涓(鈹(p鈭╭))鈭(p鈭╭)<=>0锛屾墍浠ュ師鎺ㄧ悊鏄纭殑銆傚唴瀹规秹鍙婏細1銆侀泦鍚堣閮ㄥ垎锛氶泦鍚堝強鍏惰繍绠椼佷簩鍏冨叧绯讳笌鍑芥暟銆佽嚜鐒舵暟鍙婅嚜鐒舵暟闆嗐侀泦鍚堢殑鍩烘暟銆2銆佸浘璁洪儴鍒嗭細鍥剧殑鍩烘湰姒傚康銆...
绛旓細p鈫抭<=>鈹恜鈭╭锛缃崲瑙勫垯銆
绛旓細锛7锛塕 T(5)(6)I //T瑙勫垯锛岀粨璁虹敱锛5锛夛紙6锛夎暣娑垫帹鍑
绛旓細鍦ㄧ鏁ｆ暟瀛﹀拰浠ｆ暟瀛︿腑锛屼负浜嗘柟渚挎弿杩扮疆鎹紝鎴戜滑浼氫娇鐢ㄥ渾鎷彿鎴栨柟鎷彿鏍囪瀹冦褰撲娇鐢ㄥ渾鎷彿鏃讹紝琛ㄧず鐨勬槸涓涓疆鎹紝瀹冧滑灏嗗厓绱犵殑浣嶇疆鏇存敼涓娆銆傚綋浣跨敤鏂规嫭鍙锋椂锛岃〃绀虹殑鏄竴涓疆鎹㈢殑鎭掔瓑鍏冿紝瀹冧繚鐣欎簡鍏冪礌鐨勪綅缃傜疆鎹㈡槸鍏锋湁鐗瑰緛鐨勶紝杩欎簺鐗瑰緛鍦ㄦ垜浠繘琛岀悊瑙ｆ椂鏄潪甯告湁鐢ㄧ殑銆傝繖浜涚壒寰佸寘鎷暱搴︺佺疆鎹㈣兘鍜岀疆鎹㈢殑...
绛旓細emmm鈥︹﹁繖涓仛涓嬪幓棣栧厛鍏跺疄棰樹腑宸茬粡鍐欑殑寰堢畝鍗曚簡锛岄兘鏍囨槑浣跨敤鐨勬柟娉曚簡锛屼綘鍙渶瑕佷簡瑙ｈ繖浜涙柟娉曠殑鍘熸槸鍘熺悊灏卞簲璇ュ彲浠ョ煡閬撲簡 姣斿绗懀姝 闄勫姞锛欰⥤锛圓鈭˙锛夌鈶も懃姝 缃崲瑕佹槑鐧缃崲瑙勫垯锛氬鍥
绛旓細鈶 p(a)鍓嶆彁寮曞叆 鈶 q(a)鈶♀憿鍋囪█鎺ㄧ悊 鏁呭緱璇併2.棣栧厛灏嗗懡棰樼鍙峰寲锛岃 p锛氬湴鐞冩槸骞崇殑锛泀锛氫綘灏辫兘琛岄┒鍒板湴鐞冭竟缂橈紱鍓嶆彁锛歱鈫抭锛屸攼q 缁撹锛氣攼p锛涜瘉鏄庯細鈶 p鈫抭 鍓嶆彁寮曞叆 鈶 鈹恜鈭╭ 鈶缃崲 鈶 鈹恞 鍓嶆彁寮曞叆 鈶 鈹恜 鈶 鈶㈡瀽鍙栦笁娈佃 寰楄瘉銆傛敞锛氫互涓婅娉曞潎鏉ヨ嚜灞堝鐜茬殑銆绂绘暎鏁板銆嬨
绛旓細1銆佺敤鎺ㄧ悊瑙勫垯璇佹槑 锟紙P鈭锛夛紝锟鈭≧锛岋竣R =>锟 璇佹槑:鈶狅竣Q鈭≧ 鍓嶆彁寮曞叆 鈶★竣R鈫扱 鈶缃崲 鈶竣锛圥鈭锛 鍓嶆彁寮曞叆 鈶鈫掞竣P 鈶㈢疆鎹 鈶わ竣R 鈫掞竣P 鈶♀懀鍋囪█涓夋璁 2銆 鐢ㄦ帹鐞嗚鍒欒瘉鏄 Q锛岋竣P鈫扲锛 P鈫 S锛岋竣S=>Q鈭 璇佹槑:鈶狅竣S 闄勫姞鍓嶆彁寮曞叆 鈶鈫 S ...
绛旓細⇔锟锟紙锟鈭≦ 锛夆埁 锟紙锟鈭≒锛塢4.銆怭↔Q ⇔锟锟紙锟鈭≦ 锛夆埁 锟紙锟鈭≒锛塢銆憈herefore-1 锟紙P↔Q锛⇔ 锟紙锟鈭≦ 锛夆埁 锟紙锟鈭≒锛缃崲瑙勫垯 4.銆怭↔锟 ⇔锟锟紙锟鈭竣Q 锛夆埁 锟紙Q鈭≒锛塢銆戜紤鎭竴涓嬶紝
绛旓細鍦ㄦ暟瀛︿腑锛缃崲鍨嬪彲浠ュ垎涓轰袱绫伙細缃崲缇ゅ拰缃崲鐭╅樀銆傜疆鎹㈢兢鏄寚鐢变竴缁勭疆鎹㈠舰鎴愮殑缇わ紝瀹冩槸鏁板涓噸瑕佺殑鐮旂┒瀵硅薄锛屽湪绂绘暎鏁板鍜屾娊璞′唬鏁扮瓑棰嗗煙涓兘鏈夊箍娉涚殑搴旂敤锛涜岀疆鎹㈢煩闃靛垯鏄竴绉嶇壒娈婄殑鐭╅樀锛屽彲浠ョ敤鏉ヨ〃绀虹疆鎹㈡搷浣滐紝骞朵笖鍙互杩涜绾挎у彉鎹傝繖涓ょ缃崲鍨嬪湪鏁板涓殑鍦颁綅鍜屼綔鐢ㄩ兘闈炲父閲嶈銆傜疆鎹㈠瀷鐨勫簲鐢ㄤ笉浠呬粎...
