Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Aggiungi una corrispondenza a un percorso hamiltoniano per ridurre la distanza massima tra determinate coppie di vertici
Qual è la complessità del seguente problema? Input : HHH unpercorso hamiltonianoinKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 un sottoinsieme di coppie di vertici un numero intero positivokkk Query : c'è una corrispondente MMMtale che per ogni(v,u)∈R(v,u)∈R(v,u) \in R ,dG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq k ? (doveG=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) ) Ho avuto una discussione …
1
Problemi in NC non sono noti a NC2
Ci sono problemi interessanti che sono in ma non sono noti per essere in ? Nel documento "Una tassonomia dei problemi con algoritmi paralleli veloci", Cook menziona che MIS era noto per essere solo in ma da allora questo è stato portato a . Mi chiedo se ci siano altri …
4
Gerarchie in lingue regolari
Esiste una gerarchia "simpatica" nota (può essere finita) all'interno della classe delle lingue regolari ? Di bello qui, le classi in ciascuna gerarchia catturano espressività / potenza / complessità diverse. Inoltre, l'appartenenza a ciascuna classe è "ben dimostrata" da alcuni elementi (diversamente dal problema dell'altezza delle stelle che può essere …
3
Accelerazione non deterministica del calcolo deterministico
Il non determinismo può accelerare il calcolo deterministico? Se sì, quanto? Accelerando il calcolo deterministico per non determinismo intendo i risultati della forma: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Ad esempio qualcosa del genere DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Qual è il risultato accelerato più noto del calcolo deterministico per non determinismo? Che dire di …
1
Complessità del circuito aritmetico monotono dei polinomi simmetrici elementari?
Il kkk -esimo polinomio simmetrico elementare è la somma di tutti i prodotti di variabili distinte. Sono interessato alla complessità del circuito aritmetico monotono (+, \ times) di questo polinomio. Un semplice algoritmo di programmazione dinamica (così come la figura 1 sotto) fornisce un circuito (+, \ times) con porte …
1
Come si possono trasformare
Ho pensato a queste domande: Esiste un calcolo lambda tipizzato che è coerente e Turing completo? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent e ci sono già alcune domande a cui è difficile rispondere nell'impostazione non tipizzata ! Più in particolare, sono curioso di sapere se possiamo recuperare la completezza di Turing dalla non cessazione nel …
4
Risorse teoriche di autoapprendimento informatico per programmatori
Sono un ingegnere informatico piuttosto abile, ma non conosco molta teoria. Voglio imparare più teoria. Argomenti particolari che mi interessano sono: complessità computazionale, linguaggi formali e teoria dei tipi. Ma sono perplesso su come iniziare a conoscere questi campi. Quali risorse consiglieresti a qualcuno che vuole imparare più teoria attraverso …
1
Reazioni logiche per un sistema imprevedibile in una meta-teoria predicativa
Le relazioni logiche per linguaggi imprevedibili come il Sistema F sembrano basarsi in modo critico sull'impredicatività della logica ambientale. In particolare, l'interpretazione per il tipo forall sarà definita in termini di tutte le relazioni tipizzate. In un sistema impredicativo (come CiC / Coq) va bene, ma sembra impossibile in un …
2
Verifica dell'equivalenza di due politopi
Considera un vettore di variabili e un insieme di vincoli lineari specificati da .x⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b Inoltre, considera due politopi P1P2={(f1(x⃗ ),⋯,fm(x⃗ ))∣Ax⃗ ≤b}={(g1(x⃗ ),⋯,gm(x⃗ ))∣Ax⃗ ≤b}P1={(f1(x→),⋯,fm(x→))∣Ax→≤b}P2={(g1(x→),⋯,gm(x→))∣Ax→≤b}\begin{align*} P_1&=\{(f_1(\vec{x}), \cdots, f_m(\vec{x}))\mid A\vec{x}\leq b\}\\ P_2&=\{(g_1(\vec{x}), \cdots, g_m(\vec{x}))\mid A\vec{x}\leq b\} \end{align*} dove ' sono mappature affine . Vale a dire, hanno la …
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.