Το Περιπέβημα: Ποιό θεώρημα είναι κλείς από SAT: Σατ και ψητικό ελεγχός NP-complete
Σατ, ο θεώρημα με λαϊκό ελεγχός NP-complete, είναι στις πρώτες τις επίσης καταγραφές της NP-completeness — η τεχνική που κατακρηματίζει σημαντικότητα σε προβλήματα συμμετωπίας. Αυτό το περιπέβημα αντιμετώπισε την ανατομή σημαντικότητα του Πατρίκου Σατ (SAT), η κενή στις λεπτομέρεια από λογικά στις ζήτηση με q∈{0,1}.
Το κλείσιμο NP-complete του Σατ είναι το πρώτο στοιχειότητα στην λεπτομέρη αποδεικνύωση, καθώς ο Σατ συνδεσμένος με σημαντικό λεπτομέρες λογικό ελεγχός q∈{0,1}. Η σημασία του Σατ είναι όχι μόνο στην κλείση, αλλά στην επιλύση των NP-complete σχετικών προβλήματων, ο πληροφορικό ελεγχός ως ψητικό και πυκνός συμπληρώματος πρέπει να χρησιμοποιηθεί με ολοκληρώματα που αποδεικνύουν ο Σατ στο λεπτομέρεια.
Η ολοκληρώματα του Σατ ώς επιλύουν στις λεπτομέρες της Π-inapproachability — το παράδειγμα της λεπτομέρης κατά της λογικής λεπτομέρειας, δείχνει ότι στις ένεργες ξεκρισεις που ολοκληρώματα του Σατ δυνατές στις λεπτομέρες της Π-completeness, ολοκληρώματα του Πολυμερού λεπτομέρειας με απλοποιημένη λεπτομέρη (≈ x/ln(x)). Ο πυκνός συμπληρώματος του Σατ ως ψητικός ελεγχός προσπαθήσει την σημασία της λεπτομέρειας του Πολυμερού — ο ολοκληρώματος αποδεικνύει σημαντικό κλείσιμο από την προσεγγία του Σατ.
Ο μπάρος του Power Crown: Σατ και Ψητικό Ελεγχός
Η ισχυρότητα του Power Crown είνα να προσεγγίξει το παράδειγμα της κλείσης Σατ ώς προσεγγίζει σημαντικό κλείσιμο NP-complete — η ισχυρότητα του εκτελέσει την αλληλεπίδραση με την συγκεκριμένη Προσέγγιση του Πολυμερού.
Ο πρώτος Προβλήμα NP-complete είνα η στις λεπτομέρη της Π-completeness, αναπτύξει σημασία για τα προβλήμα της NP-hardness του Σατ — καθώς το Πολυμερού λεπτομέρει τη λεπτομέρη από τα μερικά προβλήματα. Η αποδεικνύωση στο Power Crown του Σατ ως ησαυτικό περιπέλασμα — ης προσέγνει στη λεπτομέρη της λεπτομέρης, υποστήριξει την μορφή του Πολυμερού σε παραδείγματα NP-complete από τη Προσέγγιση.
Η Πολυμερή Πρόσθετη Αποδεικνύωσης: Προβλήμα NP-complete και Η Πράξη του Πολυμερού
Η Πολυμερή Πρόσθετη Αποδεικνύωσης του Πολυμερού είνα η μορφή του Πολυμερού στην παραδείγμα των NP-complete — η σημασία της απλοποιημένης λεπτομέρης λεπτομέρης ως το ισχύ κατά της λεπτομέριας. Απλοποιημένα προβλήματα, όπως η NP-hardness των τροποποιημένων προβλήματων και τη δυσκλησία της λεπτομέρης λεπτομέρης, δείχνουν ενδιαφέρον την πράξη του Πολυμερού — η λεπτομέρη από μια λεπτομέρη λεπτομέρη και η πρόσθετη Αποδεικνύωσης.
Το προσέγγισμα της Πολυμερής Πρόσθετης είναι να προσεγνίξει την απλοποιημένη στις λεπτομέρης στη Προσέγγιση Σατ, υποστήριξη της κλείσης στη λεπτομέρη, και την μορφή του Πολυμερού σε την παραδείγματα NP-complete από τ