計(jì)算所有二元關(guān)系

解答動(dòng)態(tài)

• 

  條件
• 

  二進(jìn)制關(guān)系數(shù)--+-------------------------------------+---------------------------0
• 

  {自反，反傳遞}
• 

  13
• 

  {自反，反譯}03{}5123{反譯}39 4{反譯}9214{自反，非自反}04{對稱，反對稱}14{傳遞，反譯}874{自反，對稱，傳遞}154{對稱，傳遞的}524{反對稱的，反傳遞的}317例子1對于\$n=3\$，有\(zhòng)$39\$反傳遞關(guān)系，如下圖所示。（嚴(yán)格地說，插圖顯示的是未標(biāo)記的關(guān)系。）
  有\(zhòng)$1\$空關(guān)系。那里\$6\$關(guān)系只包含一個(gè)嗎一對。在那里\$3+3+6+3\$關(guān)系是由兩個(gè)成對的。在那里\$6+6+2\$關(guān)系是由三個(gè)成對的。在那里是由四對組成的\$3\$關(guān)系。例如
  *，您可以將這些條件作為一個(gè)列表，如[假，假，真，假，假，真]，每個(gè)位置都指向特定的條件。另一個(gè)例子是，你可以拿一組字符串作為另一個(gè)例子，你可以拿一組字符串像{quot；，quot；}。
  ；APL（Dyalog擴(kuò)展）、99 bytes r←／0 0 0 0?R←{quo；過渡性quo；過渡性quo；反對稱?）?}\?-?↑°?¨，???2*??1} 在線試用！
  將條件作為字符串，使用縮寫作為如下：
  r：reflexiveR:irreflexives:symmetricS:antisymetrics:transivet:anti-transitive 例如，自反+對稱+傳遞被指定為“rst”，而“no condition”被指定為“
  它是如何工作的 ?每個(gè)rRsStT采用一個(gè)鄰接矩陣并確定條件滿足?自反：對角線全為一←∧/0 0??非自反：對角線全為零←∧/0 0?~?對稱：轉(zhuǎn)置等于自←?≡??反對稱：自和轉(zhuǎn)置中的每個(gè)位置不能同時(shí)為一←~1??∧??傳遞：自包含←~0 0???；：。。。?1}?取0為特例，始終返回1，???2*??生成0..2^n-1?-?↑°?¨?將其轉(zhuǎn)換為n×n二進(jìn)制矩陣（?，''''''''）?將始終返回1的默認(rèn)函數(shù)添加到條件列表{…}\?取條件和矩陣的外積。。。（??）??求值條件函數(shù)并將其應(yīng)用于矩陣+/∧??計(jì)算滿足所有條件的矩陣
• 

  (節(jié)點(diǎn).js)，215 bytes （n）（m），其中n是BigInt，m是描述啟用哪些約束的位掩碼，使用以下組合：
  IRREFLEXIVE=1 reflexive=2 antisymetric=4 symmetric=8 anti transitive=16 transitive=32 n=gt；{g=（c，x=n）=g（c，x）：1；h=（x，y）=gt；amp；1n）；對于（t=0，k=1nlt；n*n；k--；）t+=！[x=gt；g（y=>；h（x，y）
• 

  h（y，x）^q），0，x=gt；g（z=>；h（x，y）
• 

  h（y，z）
• 

  h（x，z）^q）），0].一些（（c，j）=gt；j1）？C： C=C））；return t} 在線試用！
  頁注：
  獲取一個(gè)更快的版本，用amp；。使用BigInts比較慢，而且稍長一些，但是允許此代碼在任何n in中工作理論。格式化和commented n=gt；{//helper函數(shù)來測試c（x）對于[0]中的所有x是否為真。。n-1]g=（c，x=n）=>x？c（--x）gt；中是否為*not*�。╧gt；x+n*ylt；gt；h（x，x）^q，0，//反對稱（q=0）/對稱（q=1）x=gt；h（x，y）
• 

  h（y，x）^q），0，//反傳遞（q=0）/傳遞（q=1）x=gt；g（z=>；h（x，y）
• 

  h（y，z）
• 

  h（x，z）^q）），0].有些（（c，j）=gt；amp；//。。。測試失敗了！g（（q=j&1）？C:C=C））；return t}
• 

  Python 3，319 bytes 期望被稱為f（n，m），其中m是需要條件的位掩碼，順序與問題相同。
  r=lambda x:x和r（x[1:]+[x[：1]+a表示r中的a（x[1:]）]或[[]]f=lambda n，C:（lambda z:n==0或sum（1表示map中的a（set，r（[（x，y）表示z中的x表示z中的y）），如果不是（lambda g，h，i:（g<；=a）+（a-g==a）*2+（h==a）*4+（a-h==a）*8+（i
• 

  a==a）*16+（a-i==a）*32）（設(shè)置（zip（z，z）），{（q，b）在a}中表示（b，q），{（d，c）在a中表示（l，c）在a中表示（l，c）如果l==b}）&；c^c））（范圍（n）） 聯(lián)機(jī)試用！第2頁
• End