問題タブ [set-theory]

境界を空間内の領域で
あり、位置を空間内の点であると定義し
、位置が 1 つの境界
に接続され、境界構造を維持する
と、境界は 1 つ以上の「親/所有者」を持つことができ
ます..任意の境界は 0 個以上の「子」を持つことができ
、境界構造にはルート境界があり
、境界構造は多くの境界リーフで終了し

ます。

境界 2 が境界 1 によって所有されている場合、
場所 A は境界 1
にアタッチ ロケーション A を境界 2 にアタッチすると
、ロケーション A が境界 1 にデタッチされ、ロケーション A が
境界 2 にアタッチされます

同様に、その逆も同様です...

境界 4 が境界 3 によって所有されている場合、
場所 B は境界 4
に接続されています。場所 B を境界 3 に接続すると
、場所 B は境界 4に接続されなくなり、
場所 B が接続されます。しかし、境界 7

が

境界 5 および 6 によって所有されている (つまり、共有されている)場合
、場所 C は境界 7 に関連付けられています。
場所 C を境界 5 または 6 に接続
しようとすると、失敗します

。これらすべてを UML クラス図で簡潔に表現する方法はありますか?

これは、ここに投稿された質問のサブセットです。

B={x1, x2, ..., xn}一定量のバケツのセットと一定量の液体が入ったバイアルの セットが与えられた場合、V={v1, v2, ..., vn }バイアルをすべて 1 つのバケツに注ぐ必要があると仮定して、バケツの数がバイアルの内容物で満たされることを証明する最良の方法は何ですか。オーバーフローは許可されます。

ここでのいくつかの明らかな不変条件は、バケット|B|のカーディナリティがバイアルのカーディナリティ以下でなければならず|V|、バケットの合計量Sum(B)がバイアルの合計量以下でなければならないということです。Sum(V)

これはよく知られた計算問題ですか？もしそうなら、これを C# で表現するための単純な LINQ ソリューションを作成できますか?

これは、Eric Lippert がブログに書いていたような気がします ;-)。

ユーザーが評価する必要のあるファイルを持っている単純なモデルがあります。Django/tastypie を使用しています。

[models.py]

[api.py]

上記のコードでは、これが現在取得している結果セット、つまりすべての (john の) ファイルです。

ここで、定義済みのユーザーを使用して 3 つの「集合論」クエリを作成したいと考えています。私 (John) は自分のファイルを他の 2 人のユーザー (Tim と Tom) と比較したい

これらは、3 種類のクエリで取得したい結果です。

私 (ジョン) だけが持っているファイル:

私 (ジョン) は持っていないが、他の人 (ティムとトム) は持っているファイル:

私たち全員が持っているファイル:

誰かがすでにこのようなことをしたか、いくつかのアプローチを共有できますか?

数値 n が与えられると、1 から n までの各数値がそのセットの要素のいくつかを追加することによって一意に形成され、セットの数値の合計が n に等しくなるように、セットの数を見つける必要があります。たとえば、n=5 の場合、{1,1,1,1,1}、{1,2,2}、{1,1,3} は有効で、{1,1,1,2} は無効です。 = 1 + 1 + 1 および 3 = 1 + 2 つまり、3 は一意に形成されません。また、{1,2,4} は、1 から 4 までのすべての数が一意に形成されても、その要素の合計が 7 ではないため無効です。 5. これは CodeChef (Money Matters)からの質問フォームです。私はいくつかの答えを見てきましたが、それでも解決できませんでした。誰かがヒントや方向性を教えてくれませんか?
n の範囲 : n<10^9

こんにちは、私が興味を持っている要素がユーザーが選択した多くの変数に依存しているテーブルから要素を取得しようとしています。これらには、ラジオボタンのドロップダウンリストと選択リストが含まれます。各変数は、テーブルから必要な ID を決定します。

交差しないか空の変数を無視できるようにする必要があります。

これが例です

A 交差点 B 交差点 C == {}

しかし、答えが必要です {2, 5}

条件ステートメントを使用せずにこれらのセットからこれを取得する方法はありますか? 多くの変数があり、可能であればこれを 1 つのステートメントで実行したいと考えています。

ありがとう

有限集合から 1 つの要素を選択する関数について推論したいと思います。

特定の関数がそのような「選択」関数であるかどうかを示す述語を定義しようとしました。

実際には、要素を選択したい有限集合は具象型ですが、'aの代わりに具象型を配置すると、同じ問題が発生します。

も省略しようとしましfinite Aたが、扱っている集合は有限であり、ここでは選択公理について考えたくありません。

現在、この定義は矛盾しているようです。

どうすればchooser合理的な方法で定義できますか? 次のように使用したいと思います。

ほとんどの場合、どのように選択するかではなく、セットのメンバーを選択することが重要です。

背景: オークションのタイブレーカーを形式化したいと考えています (このペーパーのセクション 4 )。オークションにかけられているアイテムに 2 つの最高入札額があると仮定すると、オークションに勝つべき 1 人の入札者を任意に選択する必要があります。

これは、ところで、本当に最小限の例です（これは少し理解しにくいです）：

カントールの可算無限無限と不可算無限無限の集合

0 と 1 の間の実数の集合が数え切れないほど無限であることを知っているかもしれませんし、証明したかもしれません。つまり、そのセットのすべての数を異なる自然数にマップすることはできません。

0 と 1 の間の実数をすべて別の自然数にマッピングできるテクニックを手に入れました。手法は簡単です 小数点を 1 に置き換え、元の数字をその数字にマッピングします。10003 に 0.0003、103 に 0.03 をマッピングします。

この手法を使用することで、0 と 1 の間の実数をすべて自然数にマッピングすることができます。これらの自然数はすべて 1 から始まるため、2、211、79 のように数字がマッピングされない他の数字も存在するため、これは自然数のセットが 0 と 1 の間の実数よりも大きいことを意味します。したがって、0 と 1 の間の実数の集合は可算無限です。

あなたの意見は何ですか？

問題の検索アルゴリズムに関するヘルプを探しています。問題は次のように単純化できます。

特定の属性 (X1、X2 … XN) を取ることができるオブジェクトがあります。N は 5000 のオーダーです。ただし、特定のオブジェクトはこれらの属性のサブセット (Xi .. Xj (約 50) など) を取ります。

構成は、属性の特定のサブセットです。Z (10 万のオーダー) の番号が付けられた、最適な特定の構成があります。

入力：

問題: 特定のオブジェクト、属性 {Xi…Xj} のサブセットを持つ ALPHA が与えられた場合、目標は、このオブジェクトに最も近い構成を見つけることです。構成は、オブジェクト ALPHA の構成のスーパーセットにすることができます。また、ALPHA のすべての属性を持つ構成がない可能性もあります。最も近いとは、ALPHA の属性数が最も多い構成として定義されます。

私が持っている素朴な解決策は、基本的に次のことを行います

単純な解決策は正しいと思いますが、遅すぎます。構成全体で検索を行う効率的な方法はありますか? おおよそのヒューリスティックでも、非常に高速であれば問題ありません。

C++、Java タグを追加して、これを行うソフトウェアがあるかどうかを確認します。

ありがとう。