Informatica teorica

1

È sufficiente ordinare polinomialmente molte sequenze 0-1 per una rete di smistamento?

Il principio 0-1 afferma che se una rete di ordinamento funziona per tutte le sequenze 0-1, allora funziona per qualsiasi set di numeri. Esiste una tale che se una rete ordina ogni sequenza 0-1 da S, allora ordina ogni sequenza 0-1 e la dimensione di S è polinomiale in n …

16 ds.algorithms sorting sorting-network

1

Programmazione lineare intera in numero logaritmico di variabili

Ho letto che la programmazione lineare intera è risolvibile in tempo polinominale se il numero di variabili è fisso, cioè n ∈ O ( 1 ) . Se il numero di variabili aumenta logaritmicamente, cioè n ∈ O ( log 2 ( N ) ) per un dato input di …

16 cc.complexity-theory np open-problem

1

Quali funzioni booleane monotone sono rappresentabili come soglie sulle somme?

Presenterò il mio problema con un esempio. Supponiamo che tu stia progettando un esame, che consiste in una serie di domande indipendenti (che i candidati possono ottenere nel modo giusto o sbagliato). Volete decidere un punteggio da assegnare a ciascuna delle domande, con la regola che i candidati con punteggio …

16 reference-request boolean-functions

1

La complessità del conteggio di percorsi semplici in un grafico diretto

Sia un digrafo (non necessariamente un DAG) e . Qual è la complessità di contare il numero di semplice percorsi in . GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Mi aspetto che il problema sia # ma non sono stato in grado di individuare un riferimento esatto. PP{\mathsf P} Si noti inoltre che …

16 ds.algorithms reference-request counting-complexity

1

Formalizzare la teoria dei tipi di omotopia in Idris

Guardando il blog sulla teoria dei tipi di omotopia si può facilmente trovare molta biblioteca che formalizza la maggior parte della teoria dei tipi di omotopia ad Agda e Coq. Qualcuno sa se esiste un tentativo simile di formalizzare HoTT in Idris ?

16 proof-assistants homotopy-type-theory

1

Parità di calcolo di una permutazione in modo streaming-fashion

Sto cercando un algoritmo one-pass che calcola la parità di una permutazione. Presumo che una permutazione di input sia data da stream . L'output dovrebbe essere la parità della permutazione. La domanda che mi interessa è la quantità di memoria che un algoritmo deterministico dovrebbe usare. Esiste un algoritmo randomizzato …

16 ds.algorithms permutations streaming-algorithms

3

Esempi di

Ho bisogno di un elenco di lingue complete. Esistono due di questi problemi elencati nello zoo di complessità , vale a dire:Σp2Σ2p\Sigma_2^p DNF minimo equivalente. Data una formula DNF F e un intero k, esiste una formula DNF equivalente a F con k o meno ricorrenze di valori letterali? Più …

16 complexity-classes polynomial-hierarchy

1

In che misura la matematica dei Real può essere applicata ai Real Computable?

Esiste un teorema generale che affermerebbe, con un'adeguata sanificazione, che i risultati più noti sull'uso dei numeri reali possono essere effettivamente utilizzati quando si considerano solo i reali calcolabili? Oppure esiste una corretta caratterizzazione dei risultati che rimangono validi se si considerano solo i reali calcolabili? Una domanda secondaria è …

16 computability computing-over-reals topology model-theory

1

Relazione storica tra Typed Lambda Calculus e Lisp?

Recentemente ho avuto una discussione con un amico (che è un sostenitore di linguaggi fortemente tipizzati). Ha fatto il commento: Gli inventori di Lambda Calculus hanno sempre voluto che fosse digitato. Ora possiamo vedere che la Chiesa era associata al Calcolo Lambda semplicemente tipizzato . In effetti, sembra che abbia …

16 lambda-calculus church-turing-thesis lisp typed-lambda-calculus

1

La costante ambiguità può ridurre la complessità dello stato di una lingua normale?

Diciamo che NFA è costantemente ambiguo se esiste k ∈ N tale che qualsiasi parola w ∈ Σ ∗ è accettata da 0 o (esattamente) k percorsi.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se l'automa è costantemente ambiguo per k = 1 , allora M è chiamato FA non ambiguo (UFA).MMMk=1k=1k=1MMM Sia un linguaggio …

16 complexity-classes fl.formal-languages automata-theory regular-language

1

Splay albero potenziale funzione: perché sommare i registri delle dimensioni?

Sto insegnando un corso sulle strutture dati e tratterò gli alberi di lancio all'inizio della prossima settimana. Ho letto il documento sugli alberi di splay molte volte e ho familiarità con l'analisi e l'intuizione dietro la struttura dei dati. Tuttavia, non riesco a trovare una solida intuizione per la potenziale …

16 ds.data-structures intuition amortized-analysis

1

Come scrivere l'introduzione di un documento di ricerca?

Mi scuso se questa è una domanda troppo ampia per questo forum, ma sono interessato a tattiche e suggerimenti specifici che i ricercatori (in TCS) usano per scrivere l'introduzione di un documento di ricerca.

16 soft-question advice-request research-practice writing

2

Sullo stato dell'apprendimento all'interno di

Sto cercando di capire la complessità delle funzioni esprimibili tramite gate di soglia e questo mi ha portato a T C 0TC0TC0\mathsf{TC}^0 . In particolare, sono interessato a ciò che è attualmente noto sull'apprendimento all'interno di , dal momento che non sono un esperto della zona.TC0TC0\mathsf{TC}^0 Quello che ho scoperto …

16 cc.complexity-theory reference-request cr.crypto-security lg.learning boolean-functions

2

È NP

È NP ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory complexity-classes

2

Un buon riferimento per gli operatori di classe di complessità?

Sono interessato se esistono buoni articoli o sondaggi espositivi a cui posso fare riferimento quando scrivo sugli operatori delle classi di complessità : operatori che trasformano le classi di complessità facendo cose come l'aggiunta di quantificatori. Esempi di operatori Quanto segue può essere interpretato come un elenco minimo di operatori …

16 reference-request complexity-classes