Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

4
I test possono mostrare l'assenza di bug?
(n+1)(n+1)(n + 1) sono necessari punti per determinare in modo univoco un polinomio di gradonnn ; per esempio, due punti in un piano determinano esattamente una linea. Quanti punti sono necessari per determinare in modo univoco una funzione calcolabile , vista la lunghezza di un programma che calcola f in …
3
Scambia tra tempo e complessità delle query
Lavorare direttamente con complessità temporale o limiti inferiori del circuito è spaventoso. Quindi, sviluppiamo strumenti come la complessità della query (o la complessità dell'albero decisionale) per ottenere una gestione sui limiti inferiori. Poiché ogni query richiede almeno un passaggio unitario e i calcoli tra le query vengono considerati gratuiti, la …
4
Qual è il punto della conversione
Penso di non capirlo, ma la conversione mi sembra una conversione β che non fa nulla, un caso speciale di conversione β in cui il risultato è solo il termine nell'astrazione lambda perché non c'è nulla da fare, tipo di inutile conversione β .ηη\etaββ\betaββ\betaββ\beta Quindi forse -conversion è qualcosa di …
2
Perché è così difficile per un computer provare qualcosa?
Questa può essere considerata una domanda stupida. Non sono un esperto di informatica (e non sono nemmeno un esperto di matematica), quindi per favore scusami se pensi che le seguenti domande mostrino alcuni importanti presupposti errati. Mentre ci sono piani per formalizzare l'ultimo teorema di Fermat (vedi questa presentazione ), …
2
Risolvere un labirinto tramoggia numero
Il mio bambino di 8 anni si è annoiato creando labirinti convenzionali e ha iniziato a creare varianti che assomigliano a questo: L'idea è di iniziare da x e raggiungere o tramite le normali regole. Inoltre, è possibile "saltare" da qualsiasi numero intero qualsiasi altro numero intero b , ma …
4
Riduzione diretta da SAT a 3-SAT
Qui l'obiettivo è ridurre un problema SAT arbitrario a 3-SAT in tempo polinomiale usando il minor numero di clausole e variabili. La mia domanda è motivata dalla curiosità. Meno formalmente, vorrei sapere: "Qual è la riduzione" più naturale "da SAT a 3-SAT?" Ora la riduzione che ho sempre visto nei …
1
Dimostrare irrilevanza in Coq?
C'è un modo per dimostrare il seguente teorema in Coq? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. EDIT : un tentativo di dare una breve spiegazione di "che prova irrilevanza è" (correggimi qualcuno se sbaglio o non sono preciso) L'idea di …
1
Qual è lo stato della logica fuzzy per TCS nel 2011?
Sto rivedendo il Manuale di elaborazione ispirata alla natura e di elaborazione innovativa per SIGACT News. È una lettura molto interessante. Ogni capitolo, tuttavia, ha il sapore, "Questa è la mia area di ricerca, e dannatamente è fantastico!" Quindi parte di ciò che sto cercando di fare è separare l'hype …
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.