Let a polyhedron $P$ be defined by one of the following ways: (i) $P = \{x \in R^n \colon A x \leq b\}$, where $A \in Z^{(n+k) \times n}$, $b \in Z^{(n+k)}$ and $rank\, A = n$; (ii) $P = \{x \in R_+^n \colon A x = b\}$, where $A \in Z^{k \times n}$, $b \in Z^{k}$ and $rank\, A = k$. And let all rank order minors of $A$ be bounded by $\Delta$ in absolute values. We show that the short rational generating function for the power series $$ \sum\limits_{m \in P \cap Z^n} x^m $$ can be computed with the arithmetic complexity $ O\left(T_{SNF}(d) \cdot d^{k} \cdot d^{\log_2 \Delta}\right), $ where $k$ and $\Delta$ are fixed, $d = \dim P$, and $T_{SNF}(m)$ is the complexity to compute the Smith Normal Form for $m \times m$ integer matrix. In particular, $d = n$ for the case (i) and $d = n-k$ for the case (ii). The simplest examples of polyhedra that meet conditions (i) or (ii) are the simplicies, the subset sum polytope and the knapsack or multidimensional knapsack polytopes. We apply these results to parametric polytopes, and show that the step polynomial representation of the function $c_P(y) = |P_{y} \cap Z^n|$, where $P_{y}$ is parametric polytope, can be computed by a polynomial time even in varying dimension if $P_{y}$ has a close structure to the cases (i) or (ii). As another consequence, we show that the coefficients $e_i(P,m)$ of the Ehrhart quasi-polynomial $$ \left| mP \cap Z^n\right| = \sum\limits_{j = 0}^n e_i(P,m)m^j $$ can be computed by a polynomial time algorithm for fixed $k$ and $\Delta$.


翻译:(一) 美元= 美元= 美元, 美元= 美元= 美元; 美元= 美元= 美元; 美元= 美元= 美元; 美元= 美元= 美元; 美元= 美元= 美元; 美元= 美元= 美元; 美元= 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元; 美元= 美元= 美元; 美元= 美元= 美元; 美元= 美元= 美元= 美元; 美元= 美元= 美元= 美元; 美元= 美元= = 美元; 美元= 美元= 美元= 美元= 美元; 美元= 美元= 美元= 美元= 美元= 美元= 美元; 美元= 美元= 美元= 美元= 美元= 美元= 美元= 美元= 美元= 美元= 美元= 美元=

0
下载
关闭预览

相关内容

【ACML2020】张量网络机器学习:最近的进展和前沿,109页ppt
专知会员服务
55+阅读 · 2020年12月15日
Linux导论,Introduction to Linux,96页ppt
专知会员服务
82+阅读 · 2020年7月26日
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
meta learning 17年:MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
Arxiv
3+阅读 · 2015年5月16日
VIP会员
相关资讯
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
meta learning 17年:MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
Top
微信扫码咨询专知VIP会员