Skip to main content
MathOverflow
SoftMemes's user avatar
SoftMemes's user avatar
SoftMemes's user avatar
SoftMemes
  • Member for 14 years, 5 months
  • Last seen more than 5 years ago
Profile Activity

15 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Popular Question
accepted
For Ax = b, x and b unknown vectors, how do I solve the x that maximizes min(b_i)?
comment
For Ax = b, x and b unknown vectors, how do I solve the x that maximizes min(b_i)?
This is exactly what I needed, thank you!
comment
For Ax = b, x and b unknown vectors, how do I solve the x that maximizes min(b_i)?
I meant simply that all elements in A are >= 0, updated to clarify, thank you.
revised
For Ax = b, x and b unknown vectors, how do I solve the x that maximizes min(b_i)?
added 9 characters in body; added 8 characters in body
asked
For Ax = b, x and b unknown vectors, how do I solve the x that maximizes min(b_i)?
awarded
 Scholar
comment
Deriving the complete set of "non-redundant" true statements in disjunctive form in propositional logic
I could hardly ask for a more complete answer, thank you!
accepted
Deriving the complete set of "non-redundant" true statements in disjunctive form in propositional logic
awarded
 Student
comment
Deriving the complete set of "non-redundant" true statements in disjunctive form in propositional logic
I do not quite follow your reasoning here. True, each literal appearing in each disjunct r_i will be derivable from {p_i} and follow my form, but they will not form the complete set of disjunctions of literals that do so. For example, A or B is in a minimal DNF, and the statement A or B itself would be in the set of derivable statements in the form I've described.
revised
Deriving the complete set of "non-redundant" true statements in disjunctive form in propositional logic
added 213 characters in body
awarded
 Editor
revised
Deriving the complete set of "non-redundant" true statements in disjunctive form in propositional logic
deleted 1 characters in body
asked
Deriving the complete set of "non-redundant" true statements in disjunctive form in propositional logic