タグ付けされた質問 「computational-geometry」

に有限のディスクセットLLLがあり、に対して最小のディスクを計算するとします。これを行うための標準的な方法は、基底見つけるためMatoušek、SharirとWelzl [1]のアルゴリズムを使用することであるの、およびlet含む最小のディスク。ディスク以来、事実用いて代数的に計算することができる基礎で、各ディスク接線である。 D⋃L⊆DBLD=⟨B⟩⋃B⟨B⟩BB⟨B⟩R2R2\mathbb{R}^2DDD⋃L⊆D⋃L⊆D\bigcup L\subseteq DBBBLLLD=⟨B⟩D=⟨B⟩D=\langle B\rangle⋃B⋃B\bigcup B⟨B⟩⟨B⟩\langle B\rangleBBBBBB⟨B⟩⟨B⟩\langle B\rangle （ある基準の場合最小となるように A単位は有する最も三つの要素で;におけるボールのための一般的に基礎最大で要素があります。）L B ⟨ B ⟩ = ⟨ L ⟩ のR dは D + 1B⊆LB⊆LB\subseteq LLLLBBB⟨B⟩=⟨L⟩⟨B⟩=⟨L⟩\langle B\rangle=\langle L\rangleRdRd\mathbb{R}^dd+1d+1d+1 次のようなランダム化された再帰アルゴリズムです。（ただし、理解しやすい反復バージョンについては以下を参照してください。） 手順：入力：ディスク、有限セット、ここでは（）基底です。MSW(L,B)MSW(L,B)MSW(L, B) B B BLLLBBBBBBBBB 場合、返します。BL=∅L=∅L=\varnothingBBB それ以外の場合は、をランダムに選択します。X∈LX∈LX\in L LET B′←MSW(L−{X},B)B′←MSW(L−{X},B)B'\leftarrow MSW(L-\{X\}, B)。 もしX⊆⟨B′⟩X⊆⟨B′⟩X\subseteq\langle B'\rangleそして返すB′B′B'。 B " B " ∪ { X }MSW(L,B′′)MSW(L,B″)MSW(L, …

17 cg.comp-geom  linear-programming  computational-geometry 

ポイント 2つのサイズセットがあるとします。回転のみが異なる場合のテストの（時間）複雑さは何ですか？：X = OYのような回転行列が存在しますか？X 、Y ⊂ R nはmmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nX = O YOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY ここで実際の値を表す問題があります-簡単にするために、基本的な算術演算のコストをO（1）として想定できるように、各座標に（短い）代数公式があると仮定します。 基本的な質問は、この問題がPにあるかどうかです。 一見するとこの問題は単純に見えるかもしれませんが、通常は点や角度のような局所関係のノルムをテストするのに十分ですが、例えばグラフ同型問題と同等の厄介な例があります。 具体的には、強正則グラフ（SRG）の隣接行列の固有空間を見て、幾何学的解釈を行うことができます。以下は最も単純な例です。2つの16頂点SRGは、ローカルに同一に見えますが、同型ではありません。 SRGの隣接行列は常に（既知の公式の）3つの固有値のみを持ちます-上記の固有値2（カーネル）の固有空間を見ると、次元6を持ちます-上記の基底。正規直交化（Gram-Schmidt）、可能な正規直交基底の大きな空間が得られます回転によって異なり、「垂直ベクトル」を回転します：長さ6の16ベクトルのセットをとして定義します、ここで、は2番目のグラフに対応しますとが回転のみで異なる場合、グラフ同型質問を質問に変換します。O （6 ）X ⊂ R 6 | X | = 16 Y X YA−2IA−2IA-2IO(6)O(6)O(6)X⊂R6X⊂R6X\subset \mathbb{R}^6|X|=16|X|=16|X|=16YYYXXXYYY 難点は、これらすべてのポイントが球体にあり、元の関係を再作成することです：すべての隣人（ここでは6）は90度未満の固定角度にあり、すべての非隣人（ここでは9）は90度以上の別の固定角度にあります上の写真。 そのため、ノルムとローカル角度に基づいたテストでは、グラフの同型問題に戻りますが、幾何学的解釈により、回転不変量などのグローバルプロパティを操作できます。 一般的に、自然な「グローバル」アプローチは、両方のセット「モジュロ回転」（自由度を含む）を記述し、両方の記述が同一であるかどうかを確認しようとします。n(n−1)/2n(n−1)/2n(n-1)/2 通常、回転不変式を定義できます-問題は、回転の侵略者の完全なセットを構築することです：モジュロ回転のセットを完全に決定します。 ポイント（？）に直接作用する実用的な回転不変式の方法を見つけることはできませんでしたが、多項式（stack）に対しては行うことができます。次数2の多項式場合、回転不変量の完全な基底は、たとえばです。図式彼らは、長さとして表すことができ、サイクル、我々は同様に構築することができるより高次の多項式のための回転不変量を、例えば、（残りの問題は、それらの独立である）程度1,2,3,4-多項式の単一の回転不変量に対応する以下の各グラフ：T r （A k）k = 1 、… 、n kxTAxxTAxx^T A xTr(Ak)Tr(Ak)Tr(A^k)k=1,…,nk=1,…,nk=1,\ldots,nkkk 問題は、多項式でポイントのセットを記述する方法です。一般に、高次多項式、たとえばが必要ですが、SRGのセットはかなりregular-次数6の多項式でのみ記述できます：p(z)=∏x∈X(x⋅(z−x))p(z)=∏x∈X(x⋅(z−x))p(z)=\prod_{x\in X} (x\cdot (z-x)) …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

超平面のセットは、通常のベクトルによって決定される所定の、その細胞型（または符号ベクトル）は、すべてのベクトルであるT ∈ { + 、- } m個のベクトルが存在するため、V ∈ R dはその結果⟨ 、V 、H 、I ⟩ ≠ 0及びT iは = 符号（⟨ V 、H I ⟩ ）h1、… 、hm∈ Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf R^dT ∈ { + 、- }mt∈{+,−}mt\in\{+,-\}^mV ∈ Rdv∈Rdv\in\mathbf R^d⟨ V 、H私⟩ ≠ 0⟨v,hi⟩≠0\langle v,h_i \rangle \neq 0t私= 符号（⟨ V 、H私⟩ ）ti=sign(⟨v,hi⟩)t_i = …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

パーティションツリーが実装されたことはありますか？ ここでは、計算ジオメトリからのパーティションツリーについて説明しています。最も初期の（ほぼ）最適なバージョンは、Matousekなどによるものであり、最近ではTimothy Chanによるものです。 https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf これらが実装されたことがないのはおかしいようですが、グーグルでは誰も報告したことのない実装はありませんでした。

11 ds.data-structures  implementation  computational-geometry 

Q。次元 dの超平面の配置で最大の体積境界セルを見つけることの複雑さは何 ですか？んんnddd 私はこれを知っているべきだと思います...しかし、私は決定的なリファレンスを見つけていません。 それは？d = 2の特殊化はどうですか：行の配置で最大の領域境界セル？Ω （nd）Ω（んd）\Omega(n^d)d= 2d=2d{=}2

10 computational-geometry  high-dimensional-geometry  arrangements 

2つの多面体を考えるとと、と多面体の有限集合がある場合ですequidecomposableあるとようとすべてのために一致している、および。とが等しい面積のポリゴンである場合、そのような等分解は常に存在し、高次元では一般にこれが成り立たないことが知られています。 PPPQQQPPPQQQP1、… 、PんP1、…、PんP_1, \ldots, P_nQ1、… 、QんQ1、…、QんQ_1, \ldots, Q_nP私P私P_iQ私Q私Q_i私私iP= ∪んi = 1P私P=∪私=1んP私P = \cup_{i=1}^n P_iQ = ∪んi = 1Q私Q=∪私=1んQ私Q = \cup_{i=1}^n Q_iPPPQQQ 最小等分解問題の複雑さについて知りたいです。 2つのポリゴンおよび、を最小化する等分解およびを見つけます。PPPQQQP1、… 、PんP1、…、PんP_1, \ldots, P_nQ1、… 、QんQ1、…、QんQ_1, \ldots, Q_nんんn これのためのアルゴリズム（正確、多項式、指数、近似）はありますか？複雑さはわかっていますか？

10 ds.algorithms  computational-geometry  polygon