Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

1
Requisitos de tempo / espaço para verificar ou falsificar uma declaração de primeira ordem
Embora L.Berman tenha provado que o problema de verificar ou falsificar qualquer declaração de primeira ordem sobre números reais que usa adição e comparação, mas não multiplicação, está no EXPSPACE. Foi mostrado quanto tempo ou espaço você precisaria para verificar ou falsificar qualquer declaração de primeira ordem sobre números reais …
1
Ajuda no seguinte problema combinatório?
Eu tenho mmm vetores de bits, cada um dos quais é composto por mmm bits. Vamos denotar com vi[j]vi[j]v_i[j] o jjj ésimo bit do iii ésimo vetor, i,j∈[1,m]i,j∈[1,m]i,j \in [1, m] . Cada vetor de bit viviv_i está sujeito às 2 restrições a seguir: vi[j]=0 ∀j≥ivi[j]=0 ∀j≥iv_i[j] = 0\ \forall …
2
Localizando um subconjunto de um conjunto em uma coleção de conjuntos
Quais estruturas de dados você recomendaria que representam uma coleção de subconjuntos de e suportam as seguintes operações?{1,…,n}{1,…,n}\{1, \dots, n\} : inserções S na colecção.insert(S)insert(S)insert(S)SSS : retorna true se existir S ′ na coleção, de modo que S ′ ⊂ S , caso contrário, false.query(S)query(S)query(S)S′S′S'S′⊂SS′⊂SS' \subset S Meu critério principal …
2
Pós-seleção na teoria da complexidade geométrica
Contexto: Pelo que entendi, na teoria da complexidade geométrica, a existência de obstruções serve como um certificado de prova, por assim dizer, para a inexistência de um circuito computacional eficiente para a função difícil explícita no problema de limite inferior em consideração. Agora, existem outras suposições para obstruções que devem …
1
Funções unidirecionais com complexidade de inversão polinomial
Existe uma porta de alçapão, como função cuja codificação complexidade é tempo polinomial nk1nk1n^{k_{1}} e invertendo complexidade (sem chave secreta) é também uma função polinomial de comprimento de entrada nk2nk2n^{k_{2}} com k1&lt; &lt; K2k1&lt;&lt;k2k_{1} << k_{2} (dizer k1= 2k1=2k_{1} = 2 e k2k2k_{2} é incondicionalmente passível de ser delimitado abaixo …
1
Convexidade e algoritmos eficientes.
[Editar em 21 de julho de 2011: editei a pergunta para pedir mais exemplos] Esta pergunta está solicitando uma discussão documentada de ou mais exemplos de uma observação heurística. Alguns problemas matemáticos que admitem algoritmos eficientes parecem ter natureza convexa. Estou pensando em programas lineares e semi-definidos e em vários …
1
As expressões regulares que contêm quantificadores não-reativos (relutantes) podem ser reescritas para não usá-las?
Considere uma linguagem regex com o quantificador ganancioso , o quantificador não-viciado, alternância ordenada e classes de caracteres. (Essa é essencialmente uma sub-linguagem do PCRE, sem referências anteriores, afirmações gerais ou alguns dos outros bits mais sofisticados.)∗ ?∗∗*∗?∗?{*}? Uma correspondência para um regex em uma sequência é um intervalo semiaberto …
1
Como se tornar árbitro de documentos e conferências do TCS
Mudei de alguma forma da biofísica para uma equipe mista, onde geralmente publicamos em periódicos / conferências da TCS. Para obter financiamento, no país europeu em que moro, é aconselhável mostrar em seu currículo que tenho documentos ou conferências sobre esses campos. Tenho mais de 30 publicações, mas nunca pensei …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.