Esta pergunta está relacionada a uma pergunta recente de Janoma .
fundo
Na programação restrição, um normal global de restrição ao longo de um domínio é um par (S, M) com s um tuplo de variáveis (o escopo) e M um DFA sobre o domínio D . Uma atribuição \ theta a s satisfaz c se M aceitar a sequência \ theta (s_1) \ theta (s_2) \ ldots \ theta (s_n) .
Abaixo, suponha que o domínio seja fixo. Defina uma relação de equivalência sobre o conjunto de cadeias modo que se para cada DFA seja ou . Intuitivamente, duas cadeias são equivalentes se nenhum DFA puder distingui-las. Se isso for verdade, eles também satisfazem as mesmas restrições regulares .
Se não restringirmos os DFAs de forma alguma, o conjunto de classes de equivalência será apenas o próprio Estou interessado no número de classes de equivalência wrt. em função do número de estados que permitimos para o DFA. Claramente, se (ignorar constantes), então . (Obviamente, aqui será uma função de .)
Questões
- Qual é o menor para o qual ?
- O que acontece abaixo disso? Em particular,
- existe um tal que ?
- existe um tal que ?
Minha motivação para essa pergunta é que ter um número polinomial ( ) de classes de equivalência como essa me deu um caso tratável de problemas de restrição com restrições de cardinalidade. Agora estou tentando ver se algo nesse sentido pode ser feito para a restrição regular.
Edit : Observe também esta resposta de Hermann Gruber à pergunta referenciada no topo. Os limites no artigo, os links de resposta, devem produzir um tal que a resposta à pergunta 1 deve ser , mas não é óbvio para mim.
fonte