Informatica teorica

4

Ho un problema che si trova in NEXP NP e può anche essere risolto da una MT alternata usando il tempo esponenziale e solo una alternanza (iniziando in uno stato esistenziale).NPNP^{\text{NP}} Si sa qualcosa su NEXP NP ? È uguale a NEXP o qualche altra classe? Ci sono problemi completi …

11 cc.complexity-theory reference-request complexity-classes nexp

3

Grafici regolari e isomorfismo

Vorrei chiedere se esiste un risultato già pubblicato al riguardo: Prendiamo tutti i possibili percorsi diversi tra ciascuna coppia di nodi di due grafici regolari collegati (con grado diciamo e numero di nodi ) e annotiamo le loro lunghezze. Naturalmente questo numero di percorsi distinti è esponenziale. La mia domanda …

11 graph-theory co.combinatorics graph-algorithms graph-isomorphism

1

Qual è la complessità di Nurikabe (possibilmente succinto)?

Nurikabe è un puzzle di riempimento della griglia basato su vincoli, vagamente simile a Minesweeper / Nonograms; i numeri vengono posizionati su una griglia che deve essere riempita con valori on / off per ogni cella, con ogni numero che indica una regione di celle "on" connesse di quella dimensione …

11 cc.complexity-theory np-hardness puzzles

1

Complessità dello spazio nel caso medio

Sto cercando di trovare problemi la cui complessità nello spazio nel caso medio è stata analizzata. Più specificamente, sono interessato a sapere se ci sono problemi con una comprovata complessità dello spazio limite inferiore che è super-lineare, e soprattutto se ce ne sono con un'analisi di caso medio (ad esempio, …

11 cc.complexity-theory reference-request space-bounded average-case-complexity

1

Stato della ricerca sugli attacchi di collisione SHA-1

La sicurezza SHA-1 è stata discussa da quando un algoritmo per la ricerca di collisioni è stato pubblicato per la prima volta al CRYPTO 2004 ed è stato successivamente migliorato. Wikipedia elenca un paio di riferimenti , tuttavia sembra che l'ultima ricerca pubblicata (e successivamente ritirata) su questo argomento sia …

11 cr.crypto-security hash-function cryptographic-attack

1

La semantica metrica di Escardó per i timeout PCF + è completamente astratta?

Nel suo seminario del 1999 "Un modello metrico di PCF" , Martín Escardó ha dimostrato che è possibile fornire una semplice interpretazione di PCF nella categoria di spazi ultrametrici completi e mappe non espansive. Ha mostrato che questo modello era adeguato e che poteva modellare l'aggiunta di un costrutto di …

11 pl.programming-languages denotational-semantics metric-spaces

1

Sottoforeste con peso minimo della cardinalità data

Questa domanda è stata motivata da una domanda posta su StackOverflow . Supponiamo che ti venga dato un albero radice (cioè che ci sia una radice e che i nodi abbiano figli ecc.) Su n nodi (etichettati 1 , 2 , ... , n ).TTTnnn1 , 2 , … , …

11 cc.complexity-theory reference-request np-hardness tree application-of-theory

3

Può Merlino convincere Arthur di una certa somma?

Merlino, che ha risorse computazionali illimitate, vuole convincere Arthur che per con e Il calcolo di questa somma in modo semplice (esponenziazione modulare e addizione) richiede tempo con moltiplicazione basata su FFT. * Ma Arthur può eseguire solo operazioni .m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k(N,m,k)(N,m,k)(N,m,k)k=O(logN)k=O(log⁡N)k=O(\log N)m=O(N).m=O(N).m=O(N).N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)}O(N)O(N)O(N) (Notazione, …

11 cc.complexity-theory ds.algorithms time-complexity interactive-proofs nt.number-theory

2

Qualche classe di ipotesi diversa dalla parità nel PAC rumoroso ma non in SQ?

Angluin e Laird ('88) hanno formalizzato l' apprendimento con dati corrotti in modo casuale nel modello "PAC con rumore di classificazione casuale" (o PAC rumoroso). Questo modello è simile all'apprendimento del PAC , ad eccezione delle etichette degli esempi forniti allo studente che sono corrotte (capovolte), indipendentemente a caso, con …

11 lg.learning

6

Applicazione della teoria dei grafi in informatica

Sono uno studente CS. Abbiamo fatto la teoria dei grafi in un corso. L'ho trovato interessante. Quali sono le vere applicazioni della teoria dei grafi nel campo dell'informatica? Ad esempio, ho scoperto che alcuni concetti della teoria dei grafi possono essere utilizzati per progettare reti. Quali sono altre applicazioni simili?

11 graph-theory co.combinatorics big-list application-of-theory

1

Rendere i solutori SAT competitivi con algoritmi specializzati

Quali sono gli ostacoli per rendere competitivi i solutori SAT con algoritmi di grafi specializzati? In altre parole, è possibile aspettarsi solutori SAT in grado di sostituire il ruolo del progettista dell'algoritmo, ovvero essere in grado di riconoscere automaticamente la struttura del problema e risolverlo rapidamente come un algoritmo specializzato? …

11 ds.algorithms graph-theory sat

1

Esistono algoritmi hash "riflessivi"?

Esiste una classe di algoritmi hash, sia teorici che pratici, in modo tale che un algoritmo nella classe possa essere considerato "riflessivo" secondo una definizione fornita di seguito: hash1 = algo1 ("input text 1") hash1 = algo1 ("input text 1" + hash1) L'operatore + potrebbe essere la concatenazione o qualsiasi …

11 ds.algorithms hash-function

1

Perché i problemi NP-completi non hanno rapporti di approssimazione simili?

Dal momento che 2 problemi NP completi sono per definizione riducibili l'uno all'altro, quindi una soluzione a uno di essi può essere ottenuta utilizzando una scatola nera che risolve l'altro, perché non hanno rapporti di approssimazione simili (riferendosi alle loro controparti di ottimizzazione )? Immagino che si possa capire qualche …

11 cc.complexity-theory approximation-algorithms reductions

3

Numero di vertici raggiungibili in DAG per ogni vertice

Sia un grafico diretto aciclico, in modo tale che fuori grado di ogni vertice sia O ( log | V | ) . Per ogni vertice di G possiamo contare il numero di vertici raggiungibili, semplicemente eseguendo dfs da ogni vertice e questo richiederà tempo O ( | V | …

11 ds.algorithms graph-theory graph-algorithms directed-acyclic-graph

1

Borel-Cantelli Lemma e derandomizzazione

Stavo leggendo un documento intitolato Random Oracles con (fuori) programmabilità . L'ultimo paragrafo della sezione 2.3 recita: [Usando il nostro nuovo approccio] non è necessario applicare le note tecniche di derandomizzazione asintotica classica (e uniforme) basate sul lemma di Borel-Cantelli . Per quanto ne sappiamo, questo approccio è nuovo in …

11 cc.complexity-theory derandomization pr.probability measure-theory