Informatica teorica

5

Esiste una tecnica basata sulla discesa del gradiente per la ricerca del minimo assoluto (massimo) di una funzione nello spazio multidimensionale?

Conosco l'algoritmo di discesa gradiente che può trovare il minimo locale (massimo) di una determinata funzione. C'è qualche modifica della discesa del gradiente che consente di trovare il minimo assoluto (massimo), dove la funzione ha diversi estremi locali? Esistono tecniche generali, come migliorare un algoritmo in grado di trovare un …

11 ds.algorithms approximation-algorithms machine-learning

1

Decidibilità / algoritmo per il controllo dell'universalità di un set di gate quantistici

Dato un insieme finito di porte quantiche , è decidibile (in senso teorico di calcolo) se è un set di gate universale? Da un lato, "quasi tutti" i gate set sono universali, dall'altro i set di gate non universali non sono ancora ben compresi (in particolare, ovviamente, non è noto …

11 quantum-computing

5

Come trovare un argomento di ricerca specifico su cui concentrarsi?

Di recente ho iniziato il mio corso di master. Lo scorso semestre ho seguito corsi di diverse discipline come reti, ingegneria del software, architettura, ecc. Recentemente, dopo aver seguito un corso avanzato di algoritmi e strutture dati, penso di aver trovato un corso che mi interessa di più (compresi altri …

11 soft-question career

6

Qual è il punto di chiamare

Qual è la differenza nel chiamare -calculus algebra invece che calcolo? Sollevo questa domanda perché ho letto da qualche parte la riga " -calculus non è un calcolo ma un'algebra" (iirc, attribuito a Dana Scott). Qual è il punto? Grazie.λλλ\lambdaλλ\lambda

11 soft-question lambda-calculus

3

Limiti ai momenti di frequenza approssimativa

Sia una sequenza di numeri interi in cui ciascuno a j ∈ { 1 , 2 , … , n } . Poiché i ∈ { 1 , 2 , … , n } , sia m i = | { j : a j = i } | . …

11 ds.algorithms reference-request communication-complexity data-streams

3

Distanze di calcolo con approssimazione inferiore a 2 nei grafici generali?

Dato un grafico non orientato ponderato con bordi , vorrei calcolare distanze di approssimazione inferiori a 2 tra una data coppia di vertici. Naturalmente, vorrei utilizzare lo spazio subquadratico e il tempo di query sublineare.m=o(n2)m=o(n2)m = o(n^2) Sono a conoscenza del risultato di Zwick che utilizza la moltiplicazione di matrici, …

11 ds.algorithms graph-algorithms

3

Sistema di tipi basato sulla teoria degli insiemi ingenui

A quanto ho capito, in informatica i tipi di dati non sono basati sulla teoria degli insiemi a causa di cose come il paradosso di Russell, ma come nei linguaggi di programmazione del mondo reale non possiamo esprimere tipi di dati così complessi come "insieme che non contiene se stesso", …

11 type-theory set-theory type-systems

3

Trova la distanza più breve a coppie di punti in o (n log n)?

Il seguente esercizio è stato distribuito agli studenti che supervisiono: Dati nnn punti nel piano, escogitare un algoritmo che trova una coppia di punti la cui distanza è minima tra tutte le coppie di punti. L'algoritmo dovrebbe essere eseguito nel tempo o(n2)o(n2)o(n^2) . Esiste un algoritmo di divisione e conquista …

11 ds.data-structures cg.comp-geom

3

Confronto DAG efficiente su una rete

Nei sistemi di controllo di versione distribuito (come Mercurial e Git ) è necessario confrontare in modo efficiente i grafici aciclici diretti (DAG). Sono uno sviluppatore Mercurial e saremmo molto interessati a conoscere il lavoro teorico che discute della complessità temporale e di rete del confronto tra due DAG. I …

11 cc.complexity-theory dc.distributed-comp directed-acyclic-graph

1

Preelaborazione ottimale per determinati tipi di query

Supponiamo di avere un semigruppo con elementi . Il nostro obiettivo è calcolare i prodotti .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j Nel loro articolo "Pre-elaborazione ottimale per la risposta a domande di prodotti online" Alon e Schieber dimostrano che possiamo rispondere a ciascuna di queste domande in quasi tutti i passaggi …

11 cc.complexity-theory graph-theory ds.data-structures

1

Qual è la complessità del conteggio del numero di soluzioni di un problema P-Space Complete? Che ne dici di classi di complessità superiore?

Immagino che si chiamerebbe # P-Space, ma ho trovato solo un articolo che ne parlava vagamente. Che ne dite della versione di conteggio dei problemi EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? C'è qualche lavoro precedente che si possa citare in merito a questo o qualsiasi tipo di inclusione o esclusione come il …

11 cc.complexity-theory complexity-classes counting-complexity pspace

1

Numero di classi di equivalenza in lingue regolari in funzione della dimensione DFA

Questa domanda è collegata a una recente domanda di Janoma . sfondo Nella programmazione vincolo, un regolare vincolo globale ccc su un dominio DDD è una coppia (s,M)(s,M)(s, M) con sss una tupla di variabili (la portata) e MMM un DFA sul dominio DDD . Un'assegnazione θθ\theta di sss soddisfa …

11 co.combinatorics fl.formal-languages automata-theory regular-language

2

Varianti della galleria d'arte con visibilità a coppie?

Il tradizionale problema della galleria d'arte crea una regione e guardie con una certa nozione di visibilità e chiede il numero minimo di guardie che devono essere posizionate per vedere l'intera regione. Qualcuno ha mai guardato le varianti della galleria d'arte in cui l'area di visibilità è invece definita da …

11 reference-request cg.comp-geom

1

Cosa sappiamo della transizione di fase dei problemi di # P-Complete?

Cosa si sa della transizione di fase nei problemi di # P-Complete? In particolare, esiste una transizione di fase diversa per # DNF-k-SAT e # CNF-k-SAT? Aggiornamento: Come sappiamo, c'è una transizione di fase in K-SAT casuale in cui la risoluzione del problema passa da facile a difficile e di …

11 cc.complexity-theory counting-complexity phase-transition

1

Complessità di connettività st unica

Vorrei sapere se il seguente problema può essere deciso in (spazio di registro non deterministico):NLNL\mathsf{NL} Dato un grafico diretto con due vertici distinti s e t , esiste un percorso unico da s a t in G ?GGGssstttssstttGGG Sento che è probabile che si trovi in poiché possiamo decidere sia …

11 reference-request graph-theory