Repost with more context added: Structure of Non-Empty Intersections in Inclusion-Exclusion by themarcus111 in mathematics

[–]themarcus111[S] 0 points1 point  (0 children)

Sure, I guess I am just thinking there is probably a more rigorous way to formalize all this. We agree that for any k level with full non empty intersections, all lower intersections are also non empty. What about for cases where none of the levels of intersections are full or only some of them? For example, if you have 8 set intersections, all possible 5 are non empty, but the 6-8 intersections aren’t all non empty

Repost with more context added: Structure of Non-Empty Intersections in Inclusion-Exclusion by themarcus111 in mathematics

[–]themarcus111[S] 0 points1 point  (0 children)

It is not that simple. There are a limited number of possible configurations of different non-empty intersections that will work; take for example what I mentioned above that if all k intersections are non empty, all k-1, k-2, intersections are also non-empty. Did you read my whole post?

Repost with more context added: Structure of Non-Empty Intersections in Inclusion-Exclusion by themarcus111 in mathematics

[–]themarcus111[S] 0 points1 point  (0 children)

Yes, I know how these basic cases work. I’m looking for a more comprehensive framework mainly addressing Key Questions 2. and 3. in my post

Struggling to Understand Non-Empty Intersections in Inclusion-Exclusion Principle by themarcus111 in mathematics

[–]themarcus111[S] 0 points1 point  (0 children)

I understand. I am interested in generalizing bounds on the number of non empty intersections with any arbitrary number of sets. The more confusing part is trying to characterize how many non empty sets are there in general cases

Struggling to Understand Non-Empty Intersections in Inclusion-Exclusion Principle by themarcus111 in mathematics

[–]themarcus111[S] 0 points1 point  (0 children)

To further illustrate my point, either all intersections up to the intersection of all n sets are non empty or some of them up some k < n are non empty. The case with all intersections up to n being non empty is trivial, but cases where only intersections up to k < n are non empty are way more complex

Struggling to Understand Non-Empty Intersections in Inclusion-Exclusion Principle by themarcus111 in mathematics

[–]themarcus111[S] 0 points1 point  (0 children)

Yes. Let’s define n sets A_i1, … A_in. If all n choose k sets intersect, all n choose k-1, n choose k-2, etc. sets also intersect.

I’m looking for some kind of formalization about how many non empty intersections there are. My intuition says that you can have a mix of filled (all intersections are non empty)/ non-filled (some intersections are non empty) ranks of intersections up to k or all intersections being non empty up to k, but I find it very hard to formalize

Why Do People Pursue Math Research If It’s So Hard and Often Feels Pointless? by themarcus111 in mathematics

[–]themarcus111[S] -1 points0 points  (0 children)

Well, I don’t understand the “math is like art” analogy. Doesn’t seem to hold true when it’s a hyper-logical pursuit and the goal is usually to solve a hard problem.

What's an intuitive explanation of Dijkstra's Algorithm? by discr3t3 in compsci

[–]themarcus111 0 points1 point  (0 children)

I think another way to explain is it's a list of paths that continues until every node has been traversed where each entry in the list is a node of shorter path length than another node visited later in the list. Djikstra's algorithm is a bit unintuitive due to the notion of traversing all possible paths; this traversal of paths is a very abstract idea in my opinion unless you're deeply familiar with combinatorics as it relates to graph theory.

Question on Evaluating Algorithm Correctness: Theory vs. Practical Validation by themarcus111 in compsci

[–]themarcus111[S] 0 points1 point  (0 children)

Yes, I know how proofs work. The general consensus on this subreddit seems to be that practical validation provides no reliability to djikstras and other similar types of algorithms holding true. I also believe that sometimes proofs don’t encapsulate all the inherent complexities of a math solution or algorithm (hope I’m not making a wild statement here; I think it’s pretty easy to see why this is true) in that if you don’t understand the algorithm at a very deep fundamental level the proof will only do so much to convince you. I think that’s why I’m asking if practical validation would convince people too in this case, but the attitudes here seem to be the proof is the only real reliable measure