Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Numero limitato di occorrenze variabili in SAT 1-in-3
Esiste un risultato noto sulla classe di complessità 1-in-3-SAT con un numero limitato di occorrenze variabili? Ho escogitato la seguente riduzione parsimoniosa con Peter Nightingale, ma voglio citare qualcosa se questo è noto. Ecco il trucco che abbiamo trovato. Ciò mostra che 1-in-3-SAT limitato a 3 occorrenze per variabile è …
4
Esiste un'analisi matematica algoritmica?
Esistono teoria dei grafi algoritmica / teoria dei numeri / combinatoria / teoria dell'informazione / teoria dei giochi. Esiste un'analisi matematica algoritmica? Secondo il wiki, l'analisi matematica include le teorie della differenziazione, integrazione, misura, limiti, serie infinite e funzioni analitiche. È OK concentrarsi sull'analisi reale (wiki) che si occupa dei …
1
Parole di Fibonacci
Ho riscontrato il seguente problema nel mio vecchio manuale di algoritmo ceco, purtroppo senza suggerimenti o soluzioni. "Definiamo parole di Fibonacci come , , , dove e sono lettere generali. Come in una data stringa (su un alfabeto potenzialmente grande) riesci a trovare la parola secondaria di Fibonacci più lunga …
1
Quadro logico vs teoria dei tipi
Qual è la differenza tra la struttura logica e la teoria dei tipi? Entrambi hanno tipi, termini e si basano su calcoli lambda tipicamente dipendenti. Abbiamo Edinburg LF che si basa sul calcolo lambda-pi, tuttavia, mi sembra che ci sia qualche sottile differenza lì.
3
Ramificazione di una teoria del tipo imprevedibile
La maggior parte delle teorie sui tipi di cui sono a conoscenza sono predicative con le quali intendo quello Void : Prop Void = (x : Prop) -> x non è ben scritto nella maggior parte dei dimostratori di teoremi poiché questo tipo di pi appartiene allo stesso universo Prope …
2
Divertimento con Ackermann inverso
La funzione inversa di Ackermann si verifica spesso durante l'analisi degli algoritmi. Una grande presentazione di questo è qui: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] e [Notazione: [x] significa che arrotondiamo x all'intero più vicino, mentre log ∗ è la funzione di log iterata discussa qui:α2( n ) = [ registro2n …
1
Che cos'è il "tempo pseudo" se usato rispetto ai semafori
Attualmente sto ascoltando il discorso di Alan Kays "È davvero complesso o l'abbiamo semplicemente complicato?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) dove afferma che "i semafori erano una cattiva idea e c'era qualcosa chiamato pseudo tempo che era superiore" (alle 51:40 nel video collegato). Forse ho frainteso la parola "tempo pseudo", ma ne …
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.