Domande taggate «examples»

11
False credenze comuni in informatica teorica
MODIFICA AL 10/12/08: Proverò a modificare la domanda in modo che possa interessare più persone a condividere le loro opinioni. ABBIAMO BISOGNO dei tuoi contributi! Questo post è ispirato a quello di MO: esempi di false credenze comuni in matematica . Le grandi liste a volte generano un numero enorme …
14
Dove e come i computer hanno aiutato a dimostrare un teorema?
Lo scopo di questa domanda è quello di raccogliere esempi dall'informatica teorica in cui l'uso sistematico dei computer è stato utile nella costruzione di una congettura che porta a un teorema, falsificazione di una congettura o approccio di prova, costruire / verificare (parti di) una prova. Se hai un esempio …
2
Facile da ottimizzare ma difficile da valutare
Esistono esempi naturali noti di problemi di ottimizzazione per i quali è molto più semplice produrre una soluzione ottimale che valutare la qualità di una data soluzione candidata? Per ragioni di concretezza, possiamo considerare problemi di ottimizzazione risolvibili nel tempo polinomiale della forma: "dato x, minimizza ", dove f : …
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.