Estou especialmente interessado em seu uso em aplicativos de verificação de modelo. Tenho redes abertas, fechadas e mistas de filas com diferentes classes de clientes por Baskett et al. Alguma outra sugestão para ler material?
É fácil procurar em muitos livros didáticos as provas de redução de assunto e forte normalização do Sistema F; também, às vezes, existem definições do Sistema F com pares, onde (t, r) é um termo, não apenas uma codificação. A questão é: qual seria a referência para esse...
Em um gráfico, um conjunto independente é um subconjunto de vértices que não contém uma aresta como um subgrafo induzido. O problema de encontrar os maiores conjuntos independentes em um gráfico é uma questão algorítmica fundamental e difícil. Vamos considerar a questão mais geral de encontrar (o...
Enquanto estudante de EE, participei de algumas palestras que apresentavam uma boa caracterização de circuitos booleanos em termos de quantos ciclos aninhados eles tinham. Na complexidade, os circuitos booleanos são frequentemente vistos como dags, mas em ciclos reais de hardware são comuns. Agora,...
DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in CO P T ( C , D ) = min f ∈ C e r r ( f , D )e r r ( f, D ) = Pr( x , y) ∼ D[ f( X ) ≠ y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]O PT( C, D ) = minf∈...
Esta é uma continuação da minha pergunta anterior sobre limites inferiores de comunicação para funções booleanas parciais . Alguém pode sugerir alguma referência nos limites inferiores para comunicação multipartidária não determinística? Venho pesquisando os artigos em campo, mas todo mundo parece...
Esta pergunta foi motivada por uma pergunta no stackoverflow . Suponha que você está dado uma árvore enraizada (ou seja, há uma raiz e nós ter filhos, etc.) em n nós (rotulados 1 , 2 , ... , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Cada vértice tem um peso inteiro não negativo associado: w i...
Estou tentando encontrar problemas cuja complexidade de espaço de caso médio foi analisada. Mais especificamente, estou interessado em saber se existem problemas com um limite inferior da complexidade de espaço comprovado que é super-linear e, especialmente, se houver algum com uma análise de...
Houve algum trabalho para recuperar a inclinação de um segmento de linha de sua digitalização? Não se pode fazer isso com perfeita precisão, é claro; o que se quer é um método de derivar de uma linha digitalizada um intervalo de possíveis inclinações. (A noção de uma linha digitalizada que estou...
Eu tenho um problema que está no NEXP e também pode ser resolvido por uma TM alternada usando tempo exponencial e apenas uma alternância (iniciando em um estado existencial).NPNP^{\text{NP}} Existe algo conhecido sobre NEXP ? É igual a NEXP ou alguma outra classe? Existem problemas completos além...
Lógicas condicionais são lógicas que aumentam a implicação lógica tradicional com operadores modais correspondentes a outras noções de condição (por exemplo, a condicional causal indica " A causa" B ", ou condicionamento probabilístico" A | B ", que lê" A dado B ").A□→BA◻→BA\; \square\!\!\!\!\to...
Eu sei que a pergunta "uma fórmula de primeira ordem tem um modelo" é indecidível em geral.ϕϕ\phi Alguém poderia me dar um link ou um livro que dê a resposta para modelos finitos. Se eu tiver uma fórmula de primeira ordem , é decidível se ϕ possui um modelo finito? Tenho certeza de que a pergunta...
É possível construir um algoritmo que tenha como entrada um autômato de empilhamento juntamente com a promessa de que a linguagem aceita por esse autômato L ( M ) é uma linguagem determinística livre de contexto e gera um autômato de empilhamento determinístico N que aceita precisamente a linguagem...
Atualmente, estou procurando um bom material de referência que relacione jogos não locais com aspectos benéficos na comunicação quântica. Por exemplo, estou ciente de que jogos não locais são bons em menor complexidade de comunicação de limites, além de garantir a segurança dos protocolos QKD. O...
Eu estaria muito interessado em referências à teoria das funções submodulares (do básico ao avançado). Em particular, estou estudando aproximações para problemas de otimização rígida e quero desenvolver minhas bases em funções submodulares, pois são relevantes para os problemas de otimização que...
Gostaria de saber se o seguinte problema pode ser decidido em (logspace nondeterministic):N LNL\mathsf{NL} Dado um gráfico direcionado com dois vértices distintos s e t , existe um caminho único de s para t em G ?GGGssstttssstttGGG Eu sinto que é provável que seja em , uma vez que pode decidir...
O problema tradicional da galeria de arte configura uma região e os guardas com alguma noção de visibilidade e solicita o número mínimo de guardas que precisam ser colocados para ver toda a região. Alguém já olhou as variantes da galeria de arte em que a região de visibilidade é definida por um...
Seja uma sequência de números inteiros em que cada um é um j ∈ { 1 , 2 , … , n } . Para i ∈ { 1 , 2 , … , n } , deixe m i = | { j : a j = i } | . O k th momento frequência é definida como sendoa1,a2,…,ama1,a2,…,ama_1, a_2,\dotsc, a_maj∈{1,2,…,n}aj∈{1,2,…,n}a_j \in...
EDIT (Por Tara B): Eu ainda estaria interessado em uma referência a uma prova disso, pois eu mesmo tinha que provar isso para o meu próprio artigo. Estou procurando a prova do Teorema 4 que aparece neste artigo: Uma hierarquia infinita de interseções de idiomas sem contexto por Liu e Weiner....
De acordo com o livro Topological Graph Theory, de Gross e Tucker, dada a incorporação celular de um gráfico em uma superfície (por 'superfície', quero dizer aqui uma esfera com algumas pegas, e abaixo de S n se refere à esfera com exatamente n identificadores), pode-se definir uma multigraph dupla...