Verificando a equivalência de dois politopos

14

Considere um vetor de variáveis e um conjunto de restrições lineares especificado por . $\vec{x}$ $A\vec{x}\leq b$

Além disso, considere dois politopos

\begin{aligned} P_{1} & = {(f_{1} (\vec{x}), \dots, f_{m} (\vec{x})) ∣ A \vec{x} \leq b} \\ P_{2} & = {(g_{1} (\vec{x}), \dots, g_{m} (\vec{x})) ∣ A \vec{x} \leq b} \end{aligned}

$\begin{align*} P_1&=\{(f_1(\vec{x}), \cdots, f_m(\vec{x}))\mid A\vec{x}\leq b\}\\ P_2&=\{(g_1(\vec{x}), \cdots, g_m(\vec{x}))\mid A\vec{x}\leq b\} \end{align*}$

onde e são mapeamentos afins . Ou seja, eles têm a forma . (Observamos que e são politopos porque são "mapeamentos afins" do politopo .) $f$ $g$ $\vec{c}\cdot \vec{x} +d$ $P_1$ $P_2$ $A\vec{x}\leq b$

A questão é: como decidir se e são iguais em conjuntos? Qual é a complexidade? $P_1$ $P_2$

A motivação do problema é das redes de sensores, mas parece ser um problema de geometria adorável (provavelmente básico?). Pode-se resolver isso exptime, possivelmente enumerando todos os vértices de e , mas existe uma abordagem melhor? $P_1$ $P_2$

cc.complexity-theory linear-algebra linear-programming polytope maomao
fonte

2

O que você quer dizer com dois politopos sendo equivalentes? Três interpretações imediatamente me vêm à mente: iguais em conjuntos, equivalentes afinamente e equivalentes combinatoriamente. As duas respostas existentes assumem interpretações diferentes.

Tsuyoshi Ito

Quero dizer igual a conjuntos.

maomao 22/09/2015

Edite a pergunta para incluir esse esclarecimento. Não deixe nos comentários. As perguntas devem ser independentes: as pessoas não precisam ler os comentários para entender o que você está perguntando. Obrigado.

DW

12

Não posso dizer com certeza se você considerará a melhor abordagem a seguir, mas, do ponto de vista teórico da complexidade, há uma solução mais eficiente. A idéia é reformular sua pergunta na teoria de primeira ordem dos racionais com adição e ordem. Você tem que está incluído em se e somente se $P_1$ $P_2$ é válido. É claro como a equivalência derivam deeda mesma maneira. Agorapossui um prefixo fixo de quantificação-alternância e, consequentemente, é decidível em, o segundo nível da hierarquia polinomial-temporal (Sontag, 1985

\begin{aligned} Φ : = \forall \vec{x} . \exists \vec{y} . (UMA \cdot \vec{x} \leq b ⟹ (UMA \cdot \vec{y} \leq b \land \underset{1 \leq Eu \leq m}{⋀} f_{Eu} (\vec{x}) = g_{Eu} (\vec{y}))) \end{aligned}

$\begin{align*} \Phi := \forall \vec{x}.\exists \vec{y}.\left( A \cdot \vec{x} \le b \implies \left( A \cdot \vec{y} \le b \wedge \bigwedge_{1\le i\le m} f_i(\vec{x}) = g_i(\vec{y}) \right)\right) \end{align*}$

P_{1}

$P_1$

P_{2}

$P_2$

Φ

$\Phi$

Π_{2}^{P}

$\Pi_2^\text{P}$ ) Estou bastante confiante de que é possível também provar uma correspondência limite inferior, eu lembro de ter lido em algum lugar que a inclusão entre dois polytopes é

-Hard.

Π_{2}^{P}

$\Pi_2^\text{P}$

Se você estiver procurando por suporte de ferramentas para resolver esses problemas na prática, os solucionadores de SMT modernos, como o z3, apoiam totalmente essa teoria.

Christoph Haase
fonte

5

$Ax \le b$ $P_1$ $P_2$ $A$ $b$ $A$ $b$

Denis Pankratov
fonte

2

Eu não acho que esse argumento funcione - ele ignora a dimensão do simplex dada pelo teorema citado. (x é parte da entrada, portanto, qualquer redução precisa ter certeza que é polinomialmente limitada)

Colin McQuillan

Bom ponto! Parece que minha reivindicação ainda deve ser aprovada, mas temos que entrar na prova do artigo que citei. Começando com um gráfico, eles constroem um polítopo, de modo que dois gráficos sejam isomórficos se e somente se os polítopos correspondentes forem isomórficos. Seus polítopos têm um número polinomial de vértices e suas descrições de vértices podem ser calculadas em tempo polinomial. Assim, podemos considerar que (A, b) é um simplex na dimensão que é o número de vértices ef é a projeção afim que fornece o politopo que pode ser obtido a partir da descrição do vértice.

Denis Pankratov

Verificando a equivalência de dois politopos

Respostas: