Informatica teorica

2

Tassonomia di importanti automi a espressione regolare

Sto cercando di elaborare una tassonomia di algoritmi per trasformare espressioni regolari in automi in modo da eseguire alcuni test empirici delle loro proprietà di complessità in domini specifici. Sono a conoscenza di diversi nomi "più grandi", ad es. Thompson "Algoritmo di ricerca di espressioni regolari", Thompson, 1968 Glushkov "Un …

10 automata-theory fl.formal-languages regular-expressions

3

Che cos'è un buon dizionario di teoria della teoria del dominio di categoria?

Quando ho a che fare con le categorie teoriche del dominio (diciamo CPO e CPO), desidero spesso un dizionario per il linguaggio della teoria delle categorie nella teoria dei domini.ωω\omega Cioè, dato un concetto, dire la freccia monica, potrei cercarlo nel dizionario e vedere quali sono le caratterizzazioni note di …

10 ct.category-theory semantics denotational-semantics domain-theory

3

Conseguenze pratiche di

sfondo La complessità del circuito è definita come l'insieme di famiglie di circuiti (ovvero sequenze di circuiti, una per ogni dimensione di ingresso) di profondità limitata e dimensione polinomiale costruita utilizzando fan-in illimitati AND, OR e NOT.AC0AC0AC^0 La funzione di parità con input -bit è uguale all'XOR dei bit nell'input.⊕⊕\oplusnnn …

10 cc.complexity-theory circuit-complexity physics bounded-depth

1

La previsione (nel limite) delle sequenze calcolabili è dura quanto il problema dell'arresto?

Domanda : La previsione (come definita di seguito) delle sequenze calcolabili è dura quanto il problema dell'arresto? Elaborazione : "Predict" significa prevedere con successo, il che significa fare solo molti errori finiti sul compito di provare a prevedere l'n-esimo bit della sequenza dato l'accesso ai precedenti bit n-1 (a partire …

10 computability

1

Gerarchia uniforme di problemi che abbracciano complessità e gerarchie computazionali

Qualcuno sa di una serie di problemi che variano in modo uniforme e abbracciano una delle gerarchie "interessanti" di complessità e calcolabilità? Per interessante, intendo, ad esempio, la Gerarchia polinomiale, la Gerarchia aritmetica o la Gerarchia analitica. O forse (N) P, (N) EXP, 2 (N) EXP,……\ldots Più concretamente: puoi dare …

10 cc.complexity-theory computability

3

Problema di selezione delle parole chiave nell'asta di marketing dei motori di ricerca

Prima di tutto, non sono ancora sicuro che cstheory sia ben adattato a questa domanda, quindi non mi offenderò se la folla pensa che non sia il caso ... Nel marketing dei motori di ricerca, diversi problemi sono interessanti. La progettazione di meccanismi di vendita all'asta equi (e redditizi) e …

10 reference-request lg.learning gt.game-theory

1

Correzioni dipendenti nel calcolo quantistico cieco universale basato su misura

In Universal Blind Quantum Computation gli autori descrivono un protocollo basato su misure che consente a un utente quasi classico di eseguire calcoli arbitrari su un server quantistico senza rivelare quasi nulla sul contenuto del calcolo. Nella descrizione del protocollo, gli autori menzionano "insiemi di dipendenze" associati a ciascun qubit, …

10 quantum-computing cr.crypto-security

1

Conseguenze computazionali del teorema del punto fisso Upper Shift di Friedman (non dimostrabile)?

Harvey Friedman ha mostrato che esiste un risultato preciso in virgola fissa che non può essere dimostrato nella ZFC (la solita teoria degli insiemi di Zermelo-Frankel con l'Assioma della Scelta). Molte logiche moderne sono costruite su operatori a virgola fissa, quindi mi chiedevo: sono note conseguenze del teorema del punto …

10 computability lo.logic

1

Formulazione LP per if-condition

Ho il seguente LP: /* Funzione obiettivo */ min: 1 w + 2 x + 0,5 y + z; / * Limiti di variabili * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; …

10 linear-programming

1

Permutazione unidirezionale finita con dominio infinito

Sia una permutazione. Nota che mentre agisce su un dominio infinito, la sua descrizione potrebbe essere finita. Per descrizione , intendo un programma che descrive la funzionalità di . (Come nella complessità di Kolmogorov.) Vedi le spiegazioni di seguito. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Ad esempio, la funzione NOT …

10 cc.complexity-theory co.combinatorics cr.crypto-security descriptive-complexity one-way-function

1

Quali algoritmi / argomenti di lettura consiglieresti di risolvere transazioni / blocchi di lettura / scrittura?

Una transazione di database classica semplificata può essere visualizzata come: lettura di articoli M. eseguendo alcuni calcoli basati su tali letture scrivendo alcuni N risultati basati su questi calcoli, che possono includere gli elementi originariamente letti. Quando si eseguono queste transazioni (contemporaneamente) , è necessario mantenere le proprietà ACID . …

10 ds.algorithms dc.distributed-comp

2

Complessità del puzzle poligonale nascosto su griglie quadrate?

Hiroimono è un popolare di puzzle Completa. Sono interessato alla complessità computazionale di un puzzle correlato.NPNPNP Il problema è: Input : dato un insieme di punti su una griglia quadrata x n e intero knnnnnnKKk Domanda : esiste un poligono rettilineo (i suoi lati sono paralleli all'asse o y ) …

10 cc.complexity-theory np-hardness puzzles integer-lattice

1

Rilassante vincoli in un'ottimizzazione

Ho una domanda di fattibilità che può essere formulata come segue. Mi sono dato un punto in uno spazio vettoriale dimensionale, e voglio trovare il punto più vicino q per p che soddisfa una serie di " \ ell_0 vincoli" della formad q p ℓ 0pppdddqqqpppℓ0ℓ0\ell_0 Dato un set S∈ …

10 ds.algorithms approximation-algorithms linear-programming

1

Potare un digrafo fortemente connesso

Dato un digrafo G fortemente connesso con spigoli ponderati, vorrei identificare i bordi che non fanno parte di alcun sottografo minimamente connesso (MSCS) di G. Un metodo per trovare tali fronti è un algoritmo Floyd-Warshall modificato. Usando l'algoritmo Floyd-Warshall, si può identificare quali spigoli non sono mai l'opzione migliore per …

10 ds.algorithms graph-theory graph-algorithms

4

Come sapere se X e Y sono stati coautore?

Esiste uno strumento in cui si può capire se due persone sono state coautore o no? Come lo strumento in cui si può capire Erdos _number_ di qualcuno .

10 soft-question