タグ付けされた質問 「reference-request」

世界の多くの地域は、2つのグループ（通常は民族または宗教）間の対立に苦しんでいます。この質問の目的のために、私は双方のほとんどの人々が平和に暮らしたいと思っていると思いますが、憎悪と暴力を扇動する過激派はほとんどいません。この質問の目的は、これらの過激派を除外する客観的な方法を見つけることです。 2つの対立するグループAとBがある町を想像してください。それぞれにN人の人々がいます。私は次の投票スキームを提案します（グループAの観点から説明しますが、他のグループとは完全に対称です）： equality-rule：各グループの人数は常に同じでなければなりません。 expel-vote：グループAの各人はいつでも、グループBの特定の人が「過激派」であると主張し、投票を開始できます。グループAの50％を超える人が同意すると、その特定の人は町から追放されます。 反対票：平等ルールを維持するには、グループAの1人の人物も町を離れる必要があります。この人は、グループBの人々の間の投票によって選択されます（つまり、グループBの各人がグループAの1人に投票し、投票数が最も多い人が町から追放されます）。 私の直感は、 一方で、このスキームは、他のグループの人々に親切にすることを奨励しているため、追放の対象にはなりません。 一方、平等ルールでは、反対投票を行う危険があるため、反対投票を始める前に2度考えることを奨励します。 [追加]このスキームに関して、たとえば次のようないくつかの質問をすることができます。 グループの1つの市民の数が0に達するまで、人々が投票して反対票を投じる状況にどのような条件で分岐しますか？ 2つのグループに0人を超える市民がいる状況では、どのような状況で安定しますか？ どのような条件下で、安定した市民数は初期の半分以上ですか？ このスキームは「過激主義」の客観的な尺度に到達しようとさえしないことに注意してください。唯一の目標は安定性です。 知りたいのですが、この投票方式は過去に検討されたことがありますか？

7 reference-request  game-theory  voting 

現在、エネルギー効率とグリーンITに関するクラウドコンピューティングの可能性を検討しています。このレビューに関連して、データセンター（コンピューティング）、ハードウェア、ネットワーキング、およびストレージデバイスのエネルギー効率を向上させるための手法について調べています。 具体的には、コンピューティング/サーバーについては、すでにいくつか見つかりました。 周波数と電圧のスケーリングを利用したエネルギーを意識したスケジューリング手法 サーバーリソースを統合する仮想化 ACPIなどの省エネハードウェア、特にモバイルデバイスなどのいくつかのプロセッサ技術 ただし、ネットワーキングデバイスの場合、省エネ技術に関する情報を取得することはかなり困難です。私は、ネットワークの負荷が低い場合にハードウェアをオフにできる新しいプロトコルと代替ルーティング方法について人々が考えていることを読んだことがあります。誰かがそのような例を知っていますか？ ネットワーキングまたはコンピューティングのどちらのために追加する必要がある他のポイント

7 reference-request  computer-architecture  operating-systems  computer-networks  power-consumption 

Hoareロジックを使用して2つの行列を乗算するためのプログラムの正確性を証明することについて、卒業論文を作成しています。これを行うには、このプログラムの入れ子ループの不変式を生成する必要があります。 for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end end 私は最初に内部ループの不変式を見つけようとしましたが、今までは本当のものを見つけることができません。上記のプログラムの不変式を見つけるのを手伝ってくれる人はいますか？

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

私は、連続動的システムを使用した計算の定義に関するさまざまなアプローチを研究しています。私は「状態遷移システム」の理論への素晴らしい入門書を見つけようとしてきましたが、それはできませんでした。 誰かがトピックの現代的な紹介を知っていますか？特に興味深いのは、計算可能性を扱うものです。

7 computability  automata  reference-request  computation-models 

私がデータ構造について教えているコースの一部として、学生に一般的なソフトウェア/サービスでのデータ構造の使用を調査して提示してもらいたいです。ただし、基本的なグーグル検索では、この情報がすぐに利用できないことがわかります。 誰かが私に学生と共有する可能性のある適切なリソースを彼らの研究の出発点として私に示すことができますか？ 編集 受け取った回答から判断すると、元の質問は十分に明確ではないため、詳細を追加します。 たとえば、service-xがdata-structure-aを使用して、property-bのために機能性yを実行するというタイプのリソースを探しています。これは理想的なケースです。同様の情報を提供する他のリソースも歓迎します。

6 data-structures  reference-request  applied-theory 

誰かが私に言った ログログ\log計算を簡単にするために関数が導入されました。計算する必要がある場合x yバツyxy、代わりに計算できます ログx + ログyログ⁡バツ+ログ⁡y\log x+\log y 以来 ログx y= ログx + ログyログ⁡バツy=ログ⁡バツ+ログ⁡y\log xy=\log x+\log y。これはどのように計算を簡単にすることができますか？数学者の視点からかもしれませんが、コンピューター科学者の視点はどうでしょうか？ それが計算をより簡単にするならば、なぜ人々はそれを使って乗算アルゴリズムの複雑さを単純化しないのですか？ 私の考えでは、この変換は計算をより困難にします。どのように計算できますかログバツログ⁡バツ\log x そして expバツexp⁡バツ\exp x コンピュータで機能する？ 私は正しいですか？何か提案してください？お時間をいただきありがとうございます。

6 algorithms  complexity-theory  reference-request  education