mace2 - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

mace2 - ഫസ്റ്റ്-ഓർഡർ സ്റ്റേറ്റ്‌മെന്റുകളുടെ പരിമിതമായ കൗണ്ടർ മോഡലുകൾക്കായി തിരയുന്നു

സിനോപ്സിസ്

ഗദ 2 [ഓപ്ഷനുകൾ] ഇൻപുട്ട്-ഫയൽ > ഔട്ട്പുട്ട്-ഫയൽ

വിവരണം

ഈ മാനുവൽ പേജ് ചുരുക്കത്തിൽ രേഖപ്പെടുത്തുന്നു ഗദ 2 കമാൻഡ്.

ഗദ 2 ഫസ്റ്റ് ഓർഡർ പ്രസ്താവനകളുടെ പരിമിത മോഡലുകൾക്കായി തിരയുന്ന ഒരു പ്രോഗ്രാമാണ്. ദി
മാതൃകയാക്കേണ്ട പ്രസ്താവന ആദ്യം ക്ലോസുകളിലേക്കും പിന്നീട് റിലേഷണൽ ക്ലോസുകളിലേക്കും വിവർത്തനം ചെയ്യപ്പെടുന്നു;
ഒടുവിൽ നൽകിയിരിക്കുന്ന ഡൊമെയ്ൻ വലുപ്പത്തിന്, ഗ്രൗണ്ട് സംഭവങ്ങൾ നിർമ്മിക്കപ്പെടുന്നു. എ ഡേവിസ്-പുത്നം-
ലവ്‌ലാൻഡ്-ലോഗ്‌മാൻ നടപടിക്രമം പ്രൊപ്പോസിഷണൽ പ്രശ്‌നം തീരുമാനിക്കുന്നു, കൂടാതെ കണ്ടെത്തിയ ഏതെങ്കിലും മോഡലുകൾ
ഫസ്റ്റ് ഓർഡർ മോഡലുകളിലേക്ക് വിവർത്തനം ചെയ്തു. ഗദ 2 സിദ്ധാന്തം തെളിയിക്കുന്നതിനുള്ള ഉപയോഗപ്രദമായ പൂരകമാണ്
ഒട്ടർ(1), കൂടെ ഒട്ടർ തെളിവുകൾക്കായി തിരയുന്നു ഒപ്പം ഗദ 2 എതിർ മോഡലുകൾക്കായി തിരയുന്നു.

ഓപ്ഷനുകൾ

ഓപ്ഷനുകളുടെ ഒരു സംഗ്രഹം ചുവടെ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്.

-n n ഇത് തിരയലിനായി ആരംഭിക്കുന്ന ഡൊമെയ്ൻ വലുപ്പം നൽകുന്നു. സ്ഥിര മൂല്യം 2 ആണ്. നിങ്ങളാണെങ്കിൽ
കൂടി കൊടുക്കുക -N ഓപ്‌ഷൻ, MACE ഡൊമെയ്‌ൻ വലുപ്പങ്ങൾ ഇതിലൂടെ ആവർത്തിക്കും -N മൂല്യം.
അല്ലെങ്കിൽ, ഗദ 2 വേണ്ടി മാത്രം തിരയും -n മൂല്യം.

-N n ഇത് തിരയലിനായി അവസാനിക്കുന്ന ഡൊമെയ്ൻ വലുപ്പം നൽകുന്നു. യുടെ മൂല്യമാണ് സ്ഥിരസ്ഥിതി
-n ഓപ്ഷൻ.

-c ഇൻപുട്ടിലെ സ്ഥിരാങ്കങ്ങൾക്ക് തനതായ ഘടകങ്ങൾ നൽകണമെന്ന് ഇത് പറയുന്നു
ഡൊമെയ്ൻ. ഇൻപുട്ടിലെ സ്ഥിരാങ്കങ്ങളുടെ എണ്ണം ഡൊമെയ്ൻ വലുപ്പത്തേക്കാൾ കൂടുതലാണെങ്കിൽ n,
ആദ്യത്തേത് n സ്ഥിരാങ്കങ്ങൾക്ക് മൂല്യങ്ങൾ നൽകിയിരിക്കുന്നു, ബാക്കിയുള്ളവ അനിയന്ത്രിതമാണ്. ഇതൊരു
ഉപയോഗപ്രദമായ ഓപ്ഷൻ കാരണം ഇത് തിരയലിൽ നിന്ന് ധാരാളം ഐസോമോർഫിസത്തെ ഇല്ലാതാക്കുന്നു. പക്ഷേ അതിന് കഴിയും
എല്ലാ മോഡലുകളും തടയുക, പ്രത്യേകിച്ചും മറ്റ് നിയന്ത്രണങ്ങൾക്കൊപ്പം ഉപയോഗിക്കുമ്പോൾ.

-p ഈ ഓപ്ഷൻ പറയുന്നു ഗദ 2 നല്ല ടാബ്ലർ രൂപത്തിൽ മോഡലുകൾ കണ്ടുപിടിക്കുന്നത് പോലെ പ്രിന്റ് ചെയ്യാൻ.
ഈ ഫോർമാറ്റ് മനുഷ്യ ഉപഭോഗത്തിന് വേണ്ടിയുള്ളതാണ്.

-P ഈ ഓപ്ഷൻ പറയുന്നു ഗദ 2 എളുപ്പത്തിൽ പാഴ്‌സബിൾ രൂപത്തിൽ മോഡലുകൾ പ്രിന്റ് ചെയ്യാൻ. ഈ ഫോർമാറ്റ് ഉണ്ട്
an ഒട്ടർവാക്യഘടന പോലെ, മിക്ക പ്രോലോഗ് സിസ്റ്റങ്ങൾക്കും വായിക്കാൻ കഴിയും.

-I ഈ ഓപ്ഷൻ പറയുന്നു ഗദ 2 IVY രൂപത്തിൽ മോഡലുകൾ പ്രിന്റ് ചെയ്യാൻ. ഈ ഫോർമാറ്റ് ഒരു ലിസ്പ് എസ്-
എക്സ്പ്രഷൻ, ഞങ്ങളുടെ തെളിവും മോഡൽ ചെക്കറുമായ IVY വായിക്കാൻ ഉദ്ദേശിച്ചുള്ളതാണ്.

-m n ഇത് പറയുന്നു ഗദ 2 കണ്ടെത്തിയ ശേഷം നിർത്താൻ n മോഡലുകൾ. സ്ഥിരസ്ഥിതി 1 ആണ്.

-t n ഇത് പറയുന്നു ഗദ 2 ഏകദേശം n സെക്കൻഡുകൾക്ക് ശേഷം നിർത്താൻ. ഡിഫോൾട്ട് പരിധിയില്ലാത്തതാണ്. ഗദ 2
അവഗണിക്കുന്നു എന്തെങ്കിലും അസൈൻ (max_seconds, n) കമാൻഡുകൾ ആ ശക്തി be in The ഇൻപുട്ട് ഫയൽ. ഇത്തരം
കമാൻഡുകൾ ആകുന്നു ഉപയോഗിച്ച by ഒട്ടർ മാത്രം.

-k n ഇത് പറയുന്നു ഗദ 2 അതിൽ കൂടുതൽ അനുവദിക്കാൻ ശ്രമിച്ചാൽ നിർത്തുക n കിലോബൈറ്റ് മെമ്മറി.
സ്ഥിരസ്ഥിതി 48000 ആണ് (ഏകദേശം 48 മെഗാബൈറ്റുകൾ). ഗദ 2 അവഗണിക്കുന്നു എന്തെങ്കിലും അസൈൻ (max_mem, n)
കമാൻഡുകൾ ആ ശക്തി be in The ഇൻപുട്ട് ഫയൽ. ഇത്തരം കമാൻഡുകൾ ആകുന്നു ഉപയോഗിച്ച by ഒട്ടർ മാത്രം.

-x ക്വാസിഗ്രൂപ്പിലെ ഐസോമോർഫിസം കുറയ്ക്കാൻ രൂപകൽപ്പന ചെയ്ത ഒരു പ്രത്യേക ഉദ്ദേശ്യ നിയന്ത്രണമാണിത്
പ്രശ്നങ്ങൾ. ഇത് ബൈനറി ഫംഗ്ഷനിൽ മാത്രം ബാധകമാണ് f.

-h ഇത് പറയുന്നു ഗദ 2 ഈ കമാൻഡ്-ലൈൻ ഓപ്ഷനുകളുടെ ഒരു സംഗ്രഹം പ്രിന്റ് ചെയ്യാൻ.

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് mace2 ഓൺലൈനായി ഉപയോഗിക്കുക