set-theory   168

« earlier    

[1711.02724] Algorithms to Approximate Column-Sparse Packing Problems
Column-sparse packing problems arise in several contexts in both deterministic and stochastic discrete optimization. We present two unifying ideas, (non-uniform) attenuation and multiple-chance algorithms, to obtain improved approximation algorithms for some well-known families of such problems. As three main examples, we attain the integrality gap, up to lower-order terms, for known LP relaxations for k-column sparse packing integer programs (Bansal et al., Theory of Computing, 2012) and stochastic k-set packing (Bansal et al., Algorithmica, 2012), and go "half the remaining distance" to optimal for a major integrality-gap conjecture of Furedi, Kahn and Seymour on hypergraph matching (Combinatorica, 1993).
integer-programming  matrices  optimization  operations-research  set-theory  hypergraphs  to-write-about  approximation  algorithms 
5 days ago by Vaguery
Visualizing Intersecting Sets
Understanding relationships between sets is an important analysis task. The major challenge in this context is the combinatorial explosion of the number of set intersections if the number of sets exceeds a trivial threshold. To address this, we introduce UpSet, a novel visualization technique for the quantitative analysis of sets, their intersections, and aggregates of intersections.
visualization  set-theory  data-analysis  rather-interesting  to-write-about  to-do 
5 weeks ago by Vaguery
Notes on Ultrafilters
Kruckman
Contains applications of ultrafilter to topology, analysis, set theory, and model theory.
PDF  file  set-theory  topology  model-theory 
july 2017 by atonaltensor
Boolean Algebras and Logic
Hao, relate stone representation with completeness
model-theory  set-theory  PDF  file  topology 
july 2017 by atonaltensor

« earlier    

related tags

(popular  041117  0417  090614  0914  1014  101614  abstract-math  agda  ai  algebra  algebraic-logic  algorithms  analysis  approximation  architecture  axiomofchoice  best  bioinformatics  blogworthy  book  bookmarks)  books_to_get  business  cantor  category-theory  charity  combinatorics  computational-complexity  computational-logic  computer-science  computing  consider:classification  consider:genetic-algorithms  consider:looking-to-see  consider:recombination  consider:rediscovery  consider:representation  control-systems  counting  cs  data-analysis  data-structures  database  davidmaciver  deadlock  define-your-terms  e  file  forcing  formal-logic  formal  formalism  foundation  foundational  free  fuzzy-logic  gitman  graph-theory  guide  gödel  hamkins  haskell  homework  hypergraphs  ifttt  incompleteness  infinity  info-viz  integer-programming  introduction  irrationals  javascript  joins  learn  learning  lecture-notes  logic  machine-learning  markcc  math  mathematics  maths  matrices  merge-find  metalanguage  metamath  mizar  model-theoretic-forcing  model-theory  model  models  mypostings  network-theory  nudge-targets  null-set  number-theory  open-questions  operations-research  optimization  order-theory  pdf  personal_net  philanthropy  philosophy-of-language  philosophy  pi  probability  programming  proof-checker  proof-checking  proof  psychology  python  question  rather-interesting  read-later  reference  relational-algebra  research  resource  sampling  scientificamerican  sep  set_theory  settheory  shelah  software  sql  strings  substitution-systems  symbols  tarski  thingstoreadwhenyouhaveamoment  to-do  to-grok  to-read  to-write-about  todo  topology  truth  tutorial  type-theory  union-find  video  visualization  wikipedia  zermelo-fraenkel  zf  zfc 

Copy this bookmark:



description:


tags: