Informatica teorica

2

Tempi di colpire quantistici in un colpo solo

Nell'articolo Quantum Random Walks Hit Exponentially Faster ( arXiv: quant-ph / 0205083 ) Kempe fornisce una nozione di tempo per colpire le passeggiate quantistiche (nell'ipercubo) che non è molto popolare nella letteratura delle passeggiate quantistiche. È definito come segue: One-Shot Quantum Colpire Tempo: Una passeggiata a tempo discreto quantistica ha …

13 quantum-computing random-walks markov-chains quantum-walk

1

Riferimento al limite inferiore sul separatore in una griglia?

È facile verificare che, data la griglia dimensionale d dei punti interi , con l'adiacenza regolare, si può trovare un separatore di dimensioni n d - 1 (basta selezionare un iperpiano centrale e rimuovere tutto i suoi vertici). Inoltre, non è troppo difficile (ma sicuramente non immediato) verificare che qualsiasi …

13 reference-request cg.comp-geom lower-bounds

1

Limiti inferiori del compromesso spazio-temporale

Dopo la discussione sui limiti inferiori per 3SAT [ 1 ], mi chiedo quali sono i principali risultati del limite inferiore formulati come compromessi spazio-temporali. Escludo risultati come, per esempio, il teorema di Savitch; una buona voce si focalizzerebbe su un singolo problema e sui suoi limiti. Un esempio potrebbe …

13 cc.complexity-theory ds.algorithms big-list space-time-tradeoff

2

Partizione libera da H.

Questa è una domanda ispirata al problema del taglio libera-H . Dato un grafico, una partizione del suo vertice impostato in r parti V 1 , V 2 , … , V r è privo di H se G [ V i ] non induce una copia di H per …

13 graph-theory np-hardness co.combinatorics

1

Circuiti con oracoli vs. Macchine di Turing con oracoli

In parole povere: qual è la corrispondenza tra macchine di Turing con oracoli e famiglie di circuiti uniformi con oracoli? Come vengono definiti questi ultimi al fine di ottenere lo stesso modello computazionale, per una data macchina Oracle Turing? Questa potrebbe essere una domanda elementare, ma non è ovvio dove …

13 cc.complexity-theory turing-machines oracles circuit-families

1

Individuazione di buchi strani nei grafici circolari di Paley

I grafici Paley P q sono quelli il cui set di vertici è dato dal campo finito GF (q), per le potenze primi q≡1 (mod 4), e dove due vertici sono adiacenti se e solo se differiscono di un 2 per alcuni a ∈ GF (q). Nel caso in cui …

13 ds.algorithms graph-theory

2

Gerarchia alternata nello spazio

È noto grazie a Immerman e Szelepcsényi che se f = Ω ( log ) (anche per funzioni non spaziali costruibili).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Nello stesso documento, Immerman afferma che la gerarchia alternata dello spazio dei registri collassa, ciò significa che (la definizione della turing machine alternata limitata e di ciò …

13 cc.complexity-theory reference-request space-bounded alternating-hierarchy

2

Che cos'è un buon algoritmo di ordinamento per casi speciali?

Ho un set di dati che è un numero di oggetti disposti in una griglia 2D. So di avere un ordinamento rigoroso, aumentando man mano che vai da sinistra a destra all'interno di ogni riga e aumentando dall'alto verso il basso all'interno di ogni colonna. Per esempio, 1 2 3 …

13 ds.algorithms total-ordering sorting

12

Quali sono alcune applicazioni del mondo reale per algoritmi genetici?

Quali sono alcuni problemi del mondo reale che sono stati risolti usando un algoritmo genetico? Qual è il problema? Qual è il fitness test utilizzato per risolvere questo problema?

13 ds.algorithms machine-learning ai.artificial-intel application-of-theory ne.neural-evol

3

Sicurezza della memoria basata sul tipo senza gestione manuale della memoria o garbage collection di runtime?

Diciamo che volevamo un linguaggio di programmazione funzionale e puro, come Haskell o Idris, che si rivolge alla programmazione di sistemi senza garbage collection e non ha runtime (o almeno non più dei "runtime" di C e Rust). Qualcosa che può funzionare, più o meno, su bare metal. Quali sono …

13 pl.programming-languages language-design

2

Cosa sono esattamente le classi FP, FNP e TFNP?

Nel suo libro Computational Complexity , Papadimitriou definisce FNP come segue: Supponiamo che sia una lingua in NP . Dalla Proposizione 9.1, c'è un decidibile polinomiale, polinomialmente equilibrato rapporto R L tale che per tutte le stringhe x : V'è una stringa y con R L ( x , y …

13 complexity

2

PPAD cattura davvero l'idea di trovare un altro vertice sbilanciato?

La classe di complessità PPAD è stata inventata da Christos Papadimitriou nel suo seminale articolo del 1994 . La classe è progettata per catturare la complessità dei problemi di ricerca in cui l'esistenza di una soluzione è garantita da "Argomento di parità nei grafici diretti": se c'è un vertice sbilanciato …

13 cc.complexity-theory reductions search-problem ppad

4

Possiamo generare velocemente mod 3 perfettamente perfettamente o risolvere il problema NP?

Ad essere sincero, non so molto su come vengono generati i numeri casuali (i commenti sono ben accetti!) Ma supponiamo il seguente modello teorico: possiamo ottenere interi uniformemente casuali da e il nostro obiettivo è quello di emette un numero intero uniformemente casuale da [1,3].[1,2n][1,2n][1,2^n] Una soluzione semplice il cui …

13 cc.complexity-theory np-hardness randomized-algorithms

2

In che modo Lambda Calculus è un tipo specifico di sistema di Term Writing?

Ora possiamo vedere che la Chiesa era associata al Calcolo Lambda semplicemente tipizzato . In effetti, sembra che abbia spiegato il calcolo lambda semplicemente tipizzato al fine di ridurre i malintesi sul calcolo lambda. Ora quando John McCarthy ha creato Lisp, lo ha basato sul Lambda Calculus . Questo è …

13 lambda-calculus term-rewriting-systems lisp

1

Gentile introduzione agli aspetti algoritmici della profondità degli alberi

La larghezza dell'albero e la larghezza del percorso sono parametri popolari, che misurano rispettivamente la vicinanza di un grafico a un albero o un percorso. In effetti, sembra che la larghezza degli alberi sia così popolare che è presente in molti articoli, libri e appunti di lezioni che offrono (anche …

13 reference-request graph-algorithms parameterized-complexity