Domande taggate «proofs»

Utilizzato per domande su prove esistenti o possibili di un teorema o congettura specifica

1
Esempi di algoritmi e prove che sembrano corretti, ma non lo sono
Nella mia introduzione al corso di programmazione, stiamo imparando il metodo di inizializzazione-manutenzione-terminazione per dimostrare che un algoritmo fa quello che ci aspettiamo. Ma abbiamo solo dovuto dimostrare che un algoritmo già noto per essere corretto, è corretto. Non ci è mai stato chiesto di dimostrare che un algoritmo non …
1
In che modo la versione MA di SETH è stata dimostrata falsa?
Secondo questo documento , che discute un'estensione non deterministica del dell'ipotesi del tempo esponenziale forte (SETH), "[…] Williams ha recentemente mostrato che le ipotesi correlate sulla complessità Merlin-Arthur di k-TAUT sono false". Tuttavia, quel documento cita solo una comunicazione personale. In che modo la versione MA di SETH è stata …
2
Sulla provabilità di P contro NP
Prima di tutto, la mia comprensione del teorema di incompletezza di Gödel (e della logica formale in generale) è molto ingenua, inoltre è la mia conoscenza dell'informatica teorica (il che significa solo un corso di laurea preso mentre sono ancora un laureando), quindi questa domanda potrebbe essere molto ingenuo. Per …
3
Prove trovate dal computer
Nel 1996, un problema aperto di vecchia data è stato risolto da un computer; vale a dire che l' algebra di Robbins e l'algebra booleana sono uguali. La dimostrazione è stata trovata da un teorema automatizzato. Inoltre, la dimostrazione nota del teorema dei quattro colori contiene componenti generati dal computer. …
2
Una prova interattiva del numero di Dio?
Ultimamente ho appreso delle prove interattive e mi chiedevo se l'intera faccenda non fosse altro che una curiosità teorica o se avesse avuto applicazioni pratiche. Ho pensato di iniziare con un esempio che mi è venuto in mente sotto la doccia: Recentemente è stato reso noto che "Numero di Dio" …
3
Dove posso chiedere aiuto per la ricerca / pubblicazione?
Sto sviluppando un algoritmo SAT da un po 'e ho raggiunto un punto in cui mi piacerebbe condividerlo. Non conosco molte persone nell'informatica e non sono sicuro di dove rivolgersi. Mi chiedo quali risorse siano disponibili per qualcuno con un algoritmo che sta prendendo in considerazione la pubblicazione. Ho anche …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.