Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Cosa può essere risolto con la programmazione semidefinita che non può essere risolto con la programmazione lineare?
Ho familiarità con i programmi lineari in quanto possono risolvere problemi con funzioni oggettive lineari e vincoli lineari. Ma cosa può risolvere la programmazione semidefinita che la programmazione lineare non può? So già che i programmi semidefiniti sono una generalizzazione di programmi lineari. Inoltre, come si riconosce un problema che …
2
Esatta complessità di un problema in
Sia xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} per i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , con la promessa che x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (dove la somma è superiore a ZZ\mathbb{Z} ). Allora, qual è la complessità nel determinare se x=1x=1x = 1 ? Si noti che banalmente il problema risiede in ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} perché …
3
La classe di funzionali di ricorsione primitiva è equivalente alla classe di funzioni che Fetus dimostra di terminare?
Feto, se non ne hai sentito parlare, può essere letto qui . Utilizza un sistema di "matrici di chiamata" e "grafici di chiamata" per trovare tutti i "comportamenti ricorsivi" delle chiamate ricorsive in una funzione. Mostrare che una funzione termina mostra che tutti i comportamenti ricorsivi delle chiamate ricorsive fatte …
1
Iperdoctrina e logica monadica del secondo ordine
Questa domanda è essenzialmente la domanda che ho posto su Mathoverflow. La logica Monadic Second Order (MSO) è una logica del secondo ordine con quantificazione su predicati unari. Cioè, quantificazione su insiemi. Esistono diverse logiche MSO che sono fondamentali per le strutture studiate in informatica. Domanda 1. Esiste una semantica …
1
Complessità di tipo cieco?
Sappiamo tutti che la complessità minima di un algoritmo di ordinamento basato sul confronto è il confronto . Sto cercando di fare una sorta di cieco , cioè dato un numero uscita un circuito (con porte booleane, aritmetiche e di "confronto") che ordina un elenco di elementi.n nΩ(nlogn)Ω(nlog⁡n)\Omega(n \log n)nnnnnn …
2
Numero di cicli in un grafico
Come molti cicli ( k ≥ 3 ) esistono in un n grafo vertice tale che grafico non ha alcun ciclo C m ( m > k ) .CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m>k)(m>k)(m>k) Ad esempio , k = 3 , allora il grafico avrà al massimo due C 3 …
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.