Finding a partial solution to a linear system of equations in positive integers (Q1105986): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0898-1221(88)90172-1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1993260645 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4723808 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3236239 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5558820 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3818127 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Algorithm for the General Petri Net Reachability Problem / rank
 
Normal rank

Latest revision as of 17:11, 18 June 2024

scientific article
Language Label Description Also known as
English
Finding a partial solution to a linear system of equations in positive integers
scientific article

    Statements

    Finding a partial solution to a linear system of equations in positive integers (English)
    0 references
    0 references
    1988
    0 references
    An algorithm is given to determine the set of positive integer solutions of the system \(AX=b\) where \(A\in M_{m,n}({\mathbb{Z}})\) and \(b\in {\mathbb{Z}}^ n\). Denoting \(X_{| B}\in N^ B\) as \(X_ i=(X_{| B})_ i\) for every \(i\in B\subset \{1,...,n)\) and \(x\in N^ n\); \(S=\{X\in N^ n| AX=b\},\quad \sup p A=\{1\leq i\leq n;\quad \exists X\in N^ n,\quad X_ i>0;\quad AX=0\};\quad B=\{1\leq i\leq n;\quad i\not\in \sup p A\},\) two-problems are solved: (A) ``compute B and \(u\in Q^ m\) such that \(A^ tu\geq 0\) and \((A^ tu)_ i>0\) iff \(i\not\in \sup p A''\). (B) ``If \(B=\emptyset\), is \(S=\emptyset ?\) Else for \(y\in R'\) determine \(X\in N^ n\) such that \(X_{| B}=Y\) and \(AX=b''\) where \(R=S_{| B}=\{X_ B,\quad X\in S\}\) and R' is the set of \(X\in N^ B\) satisfying \(u^ tAX=u^ tb.\)
    0 references
    partial solutions
    0 references
    linear system
    0 references
    algorithm
    0 references
    positive integer solutions
    0 references

    Identifiers