Informatica teorica

1

Risultati di limiti / durezza inferiori di Noisy Parity (LWE)

Alcuni retroscena: Sono interessato a trovare limiti inferiori (o risultati di durezza) "meno noti" per il problema di apprendimento con errori (LWE) e generalizzazioni come l'apprendimento con errori su anelli. Per definizioni specifiche, ecc., Ecco un bel sondaggio di Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Il tipo standard di ipotesi in stile (R) LWE …

11 cc.complexity-theory reference-request cr.crypto-security machine-learning lg.learning

3

Pubblicazioni recenti su NP? = Domanda coNP

Sono interessato alla domanda se NP sia uguale o meno a coNP. Apprezzerei molto alcuni consigli su buone pubblicazioni da leggere sull'argomento. Per la cronaca, so che questa domanda è intimamente connessa alla domanda se P sia uguale o meno a NP (tale che se NP! = CoNP quindi P! …

11 cc.complexity-theory reference-request p-vs-np

1

Lo stato dell'arte per il sistema di girasole

Sono interessante nel sistema dei girasoli e nelle sue applicazioni nell'informatica. Dato un Universo e una raccolta di k insiemi A i è chiamato un sistema di girasole k se A i ∩ A j = Y per tutti i ≠ j . E Y è chiamato come nucleo e …

11 co.combinatorics set-theory

1

Una colorazione planare impropria con una dimensione monocromatica

Rilassiamo un po 'la colorazione, ovvero permettiamo a un piccolo numero di vertici adiacenti di assegnare lo stesso colore. Un componente monocromatico è definito come un componente collegato nel sottografo indotto dall'insieme di vertici che ricevono lo stesso colore e la domanda è quella di chiedere il numero minimo di …

11 cc.complexity-theory graph-theory graph-colouring planar-graphs

2

Approssimabilità del problema di genere

Cosa si sa attualmente sull'approssimabilità del problema del genere? Una ricerca preliminare mi dice che un'approssimazione di fattore costante è banale per grafici sufficientemente densi ed è stato escluso un algoritmo di approssimazione . Queste informazioni sono aggiornate o sono noti limiti migliori?nϵnϵn^\epsilon

11 cc.complexity-theory approximation-hardness topological-graph-theory

2

Teoremi di gerarchia per la profondità del circuito

Che tipo di teoremi di gerarchia ci sono per la profondità del circuito? Dichiarazioni simili g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory circuit-complexity hierarchy-theorems circuit-depth

1

Ridondanza e struttura dei problemi computazionali

È opinione diffusa che alcuni problemi computazionali come l'isomorfismo dei grafi non possano essere NP-completi perché non possiedono abbastanza struttura o ridondanza per essere difficili dal punto di vista computazionale (NP-hard). Sono interessato alle diverse nozioni formali per la struttura dei problemi computazionali e le misure di ridondanza. Quali sono …

11 cc.complexity-theory graph-isomorphism

2

La relazione dei teoremi di incompletezza di Gödel con la tesi Church-Turing

Questa potrebbe essere una domanda ingenua, ma qui va. (Modifica - non sta ottenendo voti, ma nessuno ha offerto una risposta; forse la domanda è più difficile, oscura o poco chiara di quanto pensassi?) Il primo teorema di incompletezza di Gödel può essere dimostrato come un corollario dell'indecidibilità del problema …

11 lo.logic computability church-turing-thesis

1

Proprietà MSO, grafici planari e grafici privi di minori

Il teorema di Courcelle afferma che ogni proprietà del grafico definibile nella logica monadica del secondo ordine può essere decisa in tempo lineare su grafici di larghezza dell'albero limitata . Questo è uno dei meta-teoremi algoritmici più noti. Motivato dal teorema di Courcelle, ho fatto la seguente congettura: Congettura : …

11 graph-theory lo.logic treewidth planar-graphs graph-minor

3

Eventi negativi "custoditi" nella definizione di tipi induttivi, sempre cattivi?

So come alcuni eventi negativi possano essere definitivamente cattivi: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp x)) …

11 lo.logic type-theory soundness

1

Conteggio dei coloranti della griglia che evitano determinate funzionalità

Un -colore di una griglia m × nKkkm × nm×nm \times n è una funzione . Un rettangolo rotto in C è una tupla ( i , i ′ , j , j ′ ) che soddisfa C ( i , j ) = C ( i ′ , j …

11 co.combinatorics

3

Teoria del linguaggio di programmazione e algebra astratta

Esistono applicazioni di Algebra astratta alla teoria dei linguaggi di programmazione? C'è qualcosa che sarebbe utile nella progettazione del linguaggio e nell'implementazione del compilatore?

11 pl.programming-languages

2

Come generare grafici con la copertura del vertice ottimale nota

Sto cercando un modo per generare grafici in modo che sia nota la copertura ottimale del vertice. Non ci sono restrizioni sul numero di nodi o bordi, solo che il grafico è completamente collegato. l'idea è quella di generare un grafico che non sia facile da trovare la copertura ottimale …

11 ds.algorithms graph-theory graph-algorithms

2

Trova gli elementi che si trovano in almeno

Considera insiemi di valori (rappresentati come array ordinati senza duplicati e con una dimensione nota (ovvero la dimensione può essere ottenuta in O (1)). I valori possono essere testati per l'uguaglianza nel tempo O (1). per ottenere l'insieme di valori presenti in almeno insiemi diversi tra i .nnnKKknnn L'algoritmo ovvio …

11 ds.algorithms

2

Copri un poligono concavo con un numero minimo di rettangoli

Sto cercando di coprire un semplice poligono concavo con un rettangolo minimo. I miei rettangoli possono avere qualsiasi lunghezza, ma hanno larghezze massime e il poligono non avrà mai un angolo acuto. Ho pensato di provare a scomporre il mio poligono concavo in triangoli che producono una serie di rettangoli …

11 co.combinatorics cg.comp-geom