Сосчитать определенное количество элементов в группе

#java #логика

Есть матрица клеток определенного размера. Клетка имеет два состояния: занято и пусто.
Нужно сосчитать количество групп клеток и количество клеток в каждой группе. Группой
считаются рядом стоящие клетки, но не по диагонали. 



На рисунке 4 группы: в 1-ой группе 6 клеток, в остальных - по одной.

Пытался делать сначала функцию для проверки только одной группы. Если группа найдена,
то считаем кол-во клеток в ней и для этих клеток делаем состояние - пусто, чтобы при
следующей проверке эта группа уже "не мешалась". Основная проблема возникла, конечно
же, в условии нахождения группы. Пытался сделать что-то такое, но потом понял, что
это бред, плюс за границы массива вываливаемся. Как можно реализовать эту проверку?

public int getNumberCells(final Cell cellOccupied) {
        int numberRows = field.getNumberRows();
        int numberColumns = field.getNumberColumns();
        int count = 0;

        for (int i = 0; i < numberRows; i++) {
            for (int j = 0; j < numberColumns; j++) {
                if (field.getCell(i, j) == field.getCell(i, j + 1) &&
                        field.getCell(i, j) == cellOccupied) {
                            count++;
                }

                if (field.getCell(i, j) == field.getCell(i + 1, j) &&
                        field.getCell(i, j) == cellOccupied) {
                            count++;
                }
            }
       }
       return count;
}

    

Ответы

Ответ 1

Для поиска групп используем классический алгоритм заливки.

public class Test {

    static final int columns = 8;
    static final int rows = 3;

    static int[][] matrix = {
        { 0,0,1,1,1,0,1,0 },
        { 0,1,1,0,0,0,0,1 },
        { 0,1,0,0,0,0,1,0 }
    };

    static int floodFill(int row, int col) {
        if (row < 0 || col < 0 || col >= columns || row >= rows) return 0;
        if (matrix[row][col] != 1) return 0;
        matrix[row][col] = 2;
        return 1 +
            floodFill(row + 1, col) +
            floodFill(row - 1, col) +
            floodFill(row, col + 1) +
            floodFill(row, col - 1);
    }

    public static void main(String []args) {
        int count = 0;

        for (int row = 0; row < rows; row++) {
            for (int col = 0; col < columns; col++) {
                if (matrix[row][col] == 1) {
                    count++;
                    System.out.println(floodFill(row, col));
                }
            }
        }
        System.out.println(count);
    }
}


Update: добавил подсчёт количества элементов в группе.


Ответ 2

Однопроходный алгоритм без рекурсий:

Перебираем элементы слева-направо и сверху-вниз. Встретив значение 1, заменяем его,
к примеру, на 11. Далее в процессе перебора найдя значение 1, которое граничит с 11,
заменяем на 11, а если не граничит, то на 12 и т.д. В результате, именуем каждую группу
своим уникальным числом.
Параллельно в отдельном массиве считаем сколько раз мы меняли 1 на значение именованной
группы. Скорее всего, возникнут конфликты вроде того, что одной группе были присвоены
разные «имена». Необходимо параллельно определять такие конфликты.
Конфликт разрешается путем ведения третьего массива «синонимов». Если мы имеем 1,
которая граничит например с 11 и 12, то считаем, что 11 и 12 это одна и та же группа.  

Код осуществляющий алгоритм:  

public class Test3 {

    public static void main(String[] args) {
        int[][] matrix = {
            { 0,1,1,0,1,0,0,1 },
            { 0,0,1,1,1,1,0,1 },
            { 1,1,0,1,0,0,1,1 },
            { 1,0,1,0,1,1,0,1 }
        };
        getMatrixGroupsFrom01( matrix );
    }


    public static void getMatrixGroupsFrom01( int[][] matrix ) {
        int width = matrix[0].length;
        int height = matrix.length;
        int groupsCount = 10; // first group - 11, second - 12 ...
        int group1, group2;
        HashMap groupsLength = new HashMap();
        HashMap> synonims = new HashMap>();
        List currentSyn;

        for ( int i = 0; i < width; i++ ) {
            for ( int j = 0; j < height; j++ ) {
                if ( matrix[j][i] == 1 ) { // если текущая ячейка принадлежит пока
неизвестной группе
                    group1 = group2 = 0; // сброс значений
                    if ( j>0 && matrix[j-1][i]>0 ) group1 = matrix[j-1][i]; // группа
сверху
                    if ( i>0 && matrix[j][i-1]>0 ) group2 = matrix[j][i-1]; // группа
снизу
                    if ( group1 == 0 && group2 == 0 ) { // если окружают только нули,
то надо задать новую группу
                        groupsCount++; // новое значение группы
                        matrix[j][i] = groupsCount;
                        groupsLength.put( groupsCount, 1 );
                    } else if ( group1 == 0 || group2 == 0 || group1 == group2 )
{ // если группы одинаковы или одна из них равна 0
                        matrix[j][i] = group1 == 0 ? group2 : group1;
                        groupsLength.put( matrix[j][i], groupsLength.get( matrix[j][i]
)+1 ); // инкремент
                    } else  { // если группы разные, то есть конфликт. Конфликт нужно
разрешить создав синоним
                        if ( group1 > group2 ) { // чтобы работать потом с минимальным
значением
                            int swap = group2;
                            group2 = group1;
                            group1 = swap;
                        }
                        //System.out.println( group1 + " " + group2 );
                        if ( synonims.containsKey( group1 ) ) {
                            currentSyn = synonims.get( group1 );
                        } else {
                            currentSyn = new ArrayList();
                        }
                        if ( currentSyn.indexOf( group2 ) == -1 ) { // если такого
синонима еще нет
                            currentSyn.add( group2 );
                        }
                        synonims.put(group1, currentSyn); // создаем синоним
                        matrix[j][i] = group1;
                        groupsLength.put( group1, groupsLength.get( group1 )+1 );
// инкремент
                    }
                }
                System.out.print( matrix[j][i] + "\t" );
            }
            System.out.print( "\n" );
        }

        // с этого момента есть исчерпывающие данные о группах
        int synSize = synonims.size();
        Integer[] s = {};
        s = synonims.keySet().toArray( s );
        for ( int i=0; i < synSize; i++ ) { // перебираем синонимы
            System.out.print( "\n" + s[i] + " => " );
            List sd = synonims.get( s[i] );
            Iterator cs = sd.iterator();
            while ( cs.hasNext() ) {
                int synVal = cs.next();
                System.out.print( synVal + " " );
                groupsLength.put( s[i], groupsLength.get( s[i] ) + groupsLength.get(
synVal ) ); // добавляем к основной сумме сумму синонима
                groupsLength.remove( synVal ); // удаляем синонимичную сумму
            }
        }

        System.out.println( "\n" );
        s = groupsLength.keySet().toArray( s );
        for ( int i = 0; i < s.length; i++ ) {
            System.out.println( "Group:\t" + s[i] + "\tSize: " + groupsLength.get(
s[i] ) );
        }
    }
}


Результат работы:  

0   0   11  11  
12  0   11  0   
12  12  0   13  
0   12  12  0   
14  12  0   15  
0   12  0   15  
0   0   16  0   
17  17  16  16  

16 => 17 
12 => 14 

Group:  16  Size: 5
Group:  11  Size: 3
Group:  12  Size: 8
Group:  13  Size: 1
Group:  15  Size: 2


Чтобы навести красоту внутри матрицы, нужен еще один проход, в котором синонимы заменяются
одним значением, но для задач, поставленных в вопросе, красота не нужна.

Раскрыть скобки (a+b)%c

#математика #логика

Можно ли преобразовать (a+b)%c к сумме слагаемых, каждое из которых не содержит a
и b одновременно?
    

Ответы

Ответ 1

Операция % дистрибутивна

(a + b)%c = (a%c + b%c)%c


Ответ 2

Можно в случае a + b < cтогда подходят a и b по отдельности.
Иначе - нельзя.


Ответ 3

На самом деле мне нужно выразить i-тый бит суммы чисел (a+b).


((a+b)>>i)&1

((a+b)/pow(2,i))%2

Запрет на многократный вызов события при действиях с мышью

#c_sharp #события #логика #xna

Всем доброго времени суток!

Пишу собственный GUI-интерфейс для игрушки. 

Класс Button.

Имеется следующий набор событий-делегатов:

public event EventHandler MouseUpHandler;
public event EventHandler MouseDownHandler;
public event EventHandler MouseOutHandler;
public event EventHandler MouseInHandler;


Каждому из событию соответствует свой метод:

private void OnMouseIn() {...}
private void OnMouseOut() {...}
private void OnMouseUp() {...}
private void OnMouseDown() {...}


В них выполняется примерно такой код:

private void OnMouseDown()
{
    EventHandler tempHandler = MouseDownHandler; // получаем делегат события
    if (tempHandler != null) // проверяем, не пустой ли делегат
    {
        tempHandler(this, EventArgs.Empty); // вызываем событие
    }
    _state = ButtonState.Click; // используется для определения правильных координат
на спрайте текстуры кнопки во время ее рисования
}


Соответствующие методы присутствуют для других событий-делегатов.
В этом же классе присутствует метод 
Update(), который просчитывает логику кода:

public void Update()
{
     /* Формируем данные о положении мыши и о зоне пересечения (на основе позиции
и размеров кнопки) */
     MouseState mouseState = Mouse.GetState();
     Point mousePosition = new Point(mouseState.X, mouseState.Y); 

     Rectangle buttonRectangle = new Rectangle
     (
        (int) this.Position.X, (int) this.Position.Y,
        (int) this.Size.X, (int) this.Size.Y
     );

     if (buttonRectangle.Contains(mousePosition)) // проверяем на наличие пересечения
курсора мыши и кнопки
     {
         if (mouseState.LeftButton == Microsoft.Xna.Framework.Input.ButtonState.Pressed)
//ЛКМ - нажатие кнопки мыши
         {
             OnMouseDown();
         }
         if (_mousePrevState.LeftButton == Microsoft.Xna.Framework.Input.ButtonState.Pressed 
         && mouseState.LeftButton == Microsoft.Xna.Framework.Input.ButtonState.Released)
// ЛКМ - отпускание кнопки мыши
         {
             OnMouseUp();
         }
     } else // выход курсора за границы кнопки
     {
         OnMouseOut();
     }
    _mousePrevState = mouseState; // сохраняем предыдущее состояние (MouseUp может
быть только после MouseDown)
}


В другом месте создается экземпляр кнопки:

Button button = new Button(...);


Соответственно задаются свойства, текстуры и т.д. Все это функционирует. 
Далее, в том же "другом месте", делегату присваивается метод:

button.MouseInHandler += Название_метода;


С этим, думаю, все должно быть понятно. 
Логика вкратце - создается объект, ему в специальный делегат присваивается метод,
после чего в методе 
Update() проверяется, было ли пересечение кнопки и курсора, был ли клик и т.д. и
на основе этого уже вызывается нужное нам событие. 

Проблема, которая имеется сейчас: метод вызывается не единожды, а множество раз подряд.

Все это приводит к тому, что, например, вывод в консоль любого текста происходит
множество раз, но требуется не более одного. 

Я попробовал решить проблему с помощью дополнительных полей:

private bool _isMouseUp;
private bool _isMouseDown;
private bool _isMouseIn;
private bool _isMouseOut;


С изменением структуры логики методов-событий:

private void OnMouseIn()
{
    if (!_isMouseIn) // если событие не вызывалось 
    {
         EventHandler tempHandler = MouseInHandler;
         if (tempHandler != null)
         {
              tempHandler(this, EventArgs.Empty);
         }
         _isMouseIn = true; // определяем событие, как вызванное и не даем ему совершиться
повторно
         _isMouseOut = false; // после In события можно допустить выполнение Out события
    }
    _state = ButtonState.Hover;
}
// примерно такой же код ниже, разве что теперь Out и In поменялись местами
private void OnMouseOut()
{
    if (!_isMouseOut)
    {
         EventHandler tempHandler = MouseOutHandler;
         if (tempHandler != null)
         {
              tempHandler(this, EventArgs.Empty);
         }
         _isMouseOut = true;
         _isMouseIn = false;
    }
    _state = ButtonState.Normal;
}


Для MouseDown и MouseUp соответствующие изменения. 

И все это работает, до тех пор, пока пользователь ведет себя нормально. Однако если
пробовать различные ситуации, например, зажать ЛКМ, после чего навести на кнопку и
отпустить, или зажать ЛКМ над кнопкой и отпустить ее в другом месте - все это приводит
к тому, что в какой-либо момент то или иное событие, которое должно было быть вызвано
- не вызывается, либо наоборот, вызывается то событие, которые вызываться не должно. 

Я попробовал как можно более подробно описать свою проблему, но если будут какие-нибудь
вопросы - задавайте, уточню, если нужно.
    

Ответы

Ответ 1

Обычно для UI-элементов вводят понятие Capture.

Когда происходит событие MouseDown, текущий элемент под мышью фиксируется. Эта фиксация
и называется capture. После этого все события о перемещении мыши доставляются только
этому элементу. При этом событие отпускания мыши тянет за собой автогенерацию клика
только если при этом мышь была внутри элемента с capture. После отпускания мыши capture
обнуляется.

Таким образом исчезают неожиданные комбинации событий. Вы можете проверить работу
capture на окне какого-нибудь приложения: нажмите на крестик закрытия окна в правом
верхнем углу, и, не отпуская кнопку мыши, уведите её из кнопки. Теперь отпустите мышь,
крестик не сработает.



Кстати, у вас в коде логическая ошибка: для MouseDown нужно проверять предыдущее
состояние точно так же, как вы делаете для MouseUp: MouseDown происходит только если
предыдущее состоянии мыши было ненажатым.

Как поступит Java при компиляции?

#логика #java #компиляция

Код:
int x = 1;
if (x != 2) { int y = 2;}
int z = x + y;
System.out.print(z);

Собственно говоря, этот код, несмотря на if, в любом случае эквивалентен этому:
System.out.print(3);

А теперь сам вопрос Что запишет в скомпилированный файл java? Короткую или длинную
версию кода?    

Ответы

Ответ 1

Маленький эксперимет.
Вариант 1
public static void main(String[] args)
    {
        int x = 1;
        int y = 0;
        if (x != 2) { y = 2;}
        int z = x + y;
        System.out.print(z);
    }

Никаких изменений. 1 в 1.
Вариант 2
Исходник:
public static void main(String[] args)
{
    int x = 1 + 4;
    int y = 0 + x;
    if (x != 2) y = 2;
    int z = x + y - y + y - x + x;
    System.out.print(z);
}

декомпиляция:
public static void main(String[] args)
{
    int x = 5;
    int y = 0 + x;
    if (x != 2) y = 2;
    int z = x + y - y + y - x + x;
    System.out.print(z);
}

Как и ожидалось, ушло только очевидное сложение.
Вариант 3
А вот с константами всё интереснее:
Исходник:
public static void main(String[] args)
{
    final int x = 1 + 4;
    final int y = 1 + x;
    final int z = x + y - y + y - x + x;
    System.out.print(z);
}

Декомпиляция:
public static void main(String[] args)
{
   int x = 5;
   int y = 6;
   int z = 11;
   System.out.print(11);
}

Вот тут уже оптимизатор оттянулся как захотел)
Инструменты JDK 1.7.0.9 + JD 0.6.2

Как работает оператор присваивания c типом boolean в Java?

#java #логика

Есть код. 

  public class IfElseTest {
    public static void main(String...args) {
      boolean b = false;
      if (b == false) {
        System.out.println(b=false);
      }

      if (b = false) {
        System.out.println("if statement");
      } else {
        System.out.println("else statement");
      }
    }
  }


На выходе эта программа даёт:


false 
else statement


И неясно, почему выражение в пятой строчке   System.out.println(b=false);компилятор
толкует как false. Хотя интуитивно ясно, что если b был ложь, то b присвоить ложь должно
быть true.

Вопрос: почему b = false компилятор воспринимает как false?
    

Ответы

Ответ 1

Хорошее форматирование кода помогает лучше его понять.:) Поэтому я запишу код в следующем виде

boolean b = false;

if (b == false)
    System.out.println(b=false);

if (b = false)
    System.out.println("if statement");
else
    System.out.println("else statement");


В первом if-предложении

if (b == false)
    System.out.println(b=false);


переменная b сравнивается с литералом false, и так как эта переменная была инициализирована
этим же значением

boolean b = false;


то очевидно результат вычисления выражения if-предложения, то есть результат сравнения,
является истина. Поэтому на консоль выводится

    System.out.println(b=false);


Во втором if-else-предложении

if (b = false)
    System.out.println("if statement");
else
    System.out.println("else statement");


в условии if переменной b присваивается значение false

if (b = false)


результатом этого выражения, то есть присваивания,  является результат присваивания**.
Так как результат равен false, то кодовый блок после if-предложения не будет выполнен,
а управление перейдет на предложение с else

else
    System.out.println("else statement");


и, соответственно на консоль будет выдано

    System.out.println("else statement");


Если сравнить эти два if-предложения

if (b == false)
if (b = false)


то в первом if-предложении значением выражения является результат сравнения. Так
как false  (то есть b)  равно самому себе, то результат сравнения истина.
Во-втором if-предложении значением выражения является результат присваивания переменной
b значения false, то есть значение выражения if-предложения есть false.

Вы могли бы переписать второе if-предложение следующим образом

if (( b = false) == false )


и тогда, фактически, оно стало бы эквивалентно предложениям из начала программы

boolean b = false;

if (b == false)


И вы бы получили тот же самый результат, что и в первом if-предложении, так как значением
выражения стало не присвоенное значение переменной b, а результат сравнения.


Ответ 2

Не могу сказать умных слов. Но интуитивно понятно, что System.out.println(b=false);
это эквивалент

b=false;
System.out.println(b);


Т.е. сначала обрабатывается операция присваивания, а потом выводится значение переменной.
Т.е. само по себе присваивание не является булевой операцией.

Можете ради интереса проверить с другими типами, по идее должно вывести 10:

int a=5;
System.out.println(a = 10);


PS не относится непосредственно к делу, но я бы рекомендовал поправить форматирование,
а то у меня есть предположение, судя по Вашим отступам, что Вы в целом можете еще и
немного неправильно интерпретировать операции, которые выполняются в случае выполнения
первого условия.


Ответ 3

В первом случае вы же сравниваете переменную с константой и для компилятора не показатель
что они булевского типа - результат отдаётся для оператора "==".

А в строчке:

   if (b = false) {}


компилятор использует для ветвления булевскую переменную, заодно присваивая ей значение.
Это равносильно записи:

   b = false;
   if (b) {}


Ответ 4

почему b = false компилятор воспринимает как false?


потому что сначала: 


выполняется присваивание переменной b значения false;
потом для этой же переменной вызывается метод toString().



  Invoking print or println outputs a single value after converting the value using
the appropriate toString method


Ответ 5

почему b = false компилятор воспринимает как false?


Дело в том, что вы используете не операцию сравнения в операторе if, которая записывается
как ==, а производите операцию присваивания = (вычисляете выражение) в проверке условия if

То есть, в этом случае не проверяется равно ли b false, а производится вычисление
выражения, в котором b присваивается значение false и естественно, что компилятор его
так и воспринимает, потому что в результате операции b = false ее результат будет false

Ищу библиотеку, троичная логика

#логика #php

Привет всем. Не попадалась ли кому случайно библиотечка/класс хотя бы с основными
тернарными операциями? Могу реализовать сам, сперва хотелось убедиться, что это не
есть велосипед. Не нагуглил (мог плохо гуглить).
Цель - просто интерес, практика, возможно какое-то использование в проектах, хотя
пока трудновато представить. Что-то подсказывает, что можно отказаться от исключений.
Кто не в курсе - это логика не 1/0, а 1/0/-1. Пару лет назад такое писал, но проект
отправился в рай для жестких дисков. Код получался примерно такой:
// true3=1="да", false3=-1="нет", null3=0="не знаю"
$systemStatus = and3($s1->getstatus(), $s2->getstatus(), $s3->getstatus());
if ($systemStatus === true3) {
  echo 'all systems: ready';
  } elseif ($systemStatus === false3) {
  echo 'all systems: idle';
  } else echo 'malfunction';

PS: Ничего общего с тернарным оператором.     

Ответы

Ответ 1

Взялся сам :)

Ссылка на тестер (там же можно скачать класс и посмотреть таблицы истинности), листинг
основных операторов для будущих поколений:

define('TRUE3',   1);
define('NULL3',   0);
define('FALSE3', -1);

function l3validate(&$arg) {
  if ($arg !== FALSE3 and $arg !== NULL3 and $arg !== TRUE3) {
    $arg = NULL3;
    return FALSE3;
    }
  return TRUE3;
}

function l3not($a) { // НЕ, инверсия
  l3validate($a);
  if ($a === TRUE3) return FALSE3;
  if ($a === FALSE3) return TRUE3;
  return NULL3;
}
function l3and($a, $b) { // И, конъюнкция
  l3validate($a);
  l3validate($b);
  if ($a === TRUE3 and $b === TRUE3) return TRUE3;
  if ($a === FALSE3 or $b === FALSE3) return FALSE3;
  return NULL3;
}
function l3andm() { // И, несколько аргументов
  $result = TRUE3;
  foreach (func_get_args() as $arg) {
    l3validate($arg);
    if ($arg === NULL3) $result = NULL3;
    if ($arg === FALSE3) return FALSE3;
  }
  return $result;
}
function l3or($a, $b) { // ИЛИ, дизъюнкция
  l3validate($a);
  l3validate($b);
  if ($a === $b and $a === FALSE3) return FALSE3;
  if ($a === TRUE3 or $b === TRUE3) return TRUE3;
  return NULL3;
}
function l3orm() { // ИЛИ, несколько аргументов
  $result = FALSE3;
  foreach (func_get_args() as $arg) {
    l3validate($arg);
    if ($arg === NULL3) $result = NULL3;
    if ($arg === TRUE3) return TRUE3;
  }
  return $result;
}
function l3xor($a, $b) { // ЛИБО ... ЛИБО ..., строгая дизъюнкция
  l3validate($a);
  l3validate($b);
  if ($a === $b and $a !== NULL3) return FALSE3;
  if (($a === TRUE3 and $b === FALSE3) or ($a === FALSE3 and $b === TRUE3)) return TRUE3;
  return NULL3;
}
function l3imp($a, $b) { // ->, импликация 
  l3validate($a);
  l3validate($b);
  if ($a === FALSE3 or $b === TRUE3) return TRUE3;
  if ($a === TRUE3 and $b === FALSE3) return FALSE3;
  return NULL3;
}
function l3bimp($a, $b) { // <-, обратная импликация
  l3validate($a);
  l3validate($b);
  if ($a === TRUE3 or $b === FALSE3) return TRUE3;
  if ($a === FALSE3 and $b === TRUE3) return FALSE3;
  return NULL3;
}
function l3eq($a, $b) { // =, эквивалентность
  l3validate($a);
  l3validate($b);
  if ($a === NULL3 or $b === NULL3) return NULL3;
  if ($a === $b) return TRUE3;
  return FALSE3;
}


ЗЫ: Специально для @Dex: обсуждение терминов, таки ваша взяла) Но все же посмотрите
обсуждение, оно оказалось сложным и чисто эстетическим. Даже вариант "трехвалентная"
был бы верным лексически %)

UPDATE: Исправил "идейно", любое "неопознанное" превращается в NULL3. Если хочется
быть более толерантным, в классе есть метод cast, округляющий до ближайшего из логических.

Выразить побитовое и (a & b) через десятичную арифметку

#математика #логика

Существует ли способ выразить операцию побитовое И через арифметические действия
(+,-,*,/,** и проч.)? 
    

Ответы

Ответ 1

Да. 

a & b = a0*b0 * 2^0 + a1*b1 * 2^1 + ... + aN * bN * 2^N


Где ai - i-й бит a, bi - i-й бит b


Ответ 2

Небольшой пример в дополнение к ответу @mnv
Суть побитового И - поразрядное умножение двоичных чисел. Но так как обычно используются
десятичные числа, то их необходимо перевести в двоичные.
Можно рассмотреть пример перевода числа 6 в двоичную форму



6 в двоичной системе представляется как 110. На рисунке видно, что это соответствует
остаткам от деления, причем разряды получаются от младшего к старшим.

Таким образом можно сформулировать следующий алгоритм:


разделить каждое из чисел на 2, деление целочисленное, если хотя бы один из результатов
0 - можно не продолжать, так как умножение на 0 равно 0.
взять остатки отделения, перемножить между собой - получим конкретное значение бита,
умножив это значение на 2i, где i номер итерации
вернуться к первому пункту с результатами деления.


Пример реализации: 



function calc(a, b) {
  var res = 0;
  for (var i = 0, c = a, d = b; c / 2 != 0 && d / 2 != 0; i++) {
    res += c % 2 * d % 2 * Math.pow(2, i); // получаем остатки от деления, умножаем
на степень двойки
    c = Math.floor(c / 2); // получаем целую часть от деления
    d = Math.floor(d / 2); // получаем целую часть от деления
  }
  
  document.getElementById('r').innerHTML = `bitwise &: ${a} & ${b} = ${a&b} 

Math: ${a} & ${b} = ${res}`;
}

Задача про свиней

#логика #prolog

Есть задача:


  есть четыре свиньи (а, б, в, г)
  
  они из (австралии, германии, франции, ирландии)
  
  корм (трава, овощи, айца, каштаны)
  
  свинья "б" из германии. австралийская свинья ест овощи. ирландсткая не
  любит яйца. свинья "в" ест каштаны, а свинья "a" не из франции и ест
  траву.
  
  Откуда какая свинья и что она ест?


Помогите с решением, что-то я туплю.
    

Ответы

Ответ 1

Подход как решать подобные логические задачи с помощью пролога:

Для начала нужно определить факты, которые известны:

имя(а).
имя(б).
имя(в).
имя(г).

корм(трава).
корм(овощи).
корм(яйца).
корм(каштаны).

страна(австралия).
страна(германия).
страна(франция).
страна(ирландия).


Далее функция, которая будет решать:

solve(Свиньи):-


Собираем нужный список, который потом вернем

Свиньи = [свинья(А, АСтрана, АКорм), 
          свинья(Б, БСтрана, БКорм), 
          свинья(В, ВСтрана, ВКорм),
          свинья(Г, ГСтрана, ГКорм)],


Указываем, что специфицированные значения должны быть уникальны

имя(А), имя(Б), имя(В),имя(Г), unique([А,Б,В,Г]),
корм(АКорм), корм(БКорм),корм(ВКорм),корм(ГКорм), unique([АКорм, БКорм, ВКорм,ГКорм]),
страна(АСтрана), страна(БСтрана),страна(ВСтрана),страна(ГСтрана), unique([АСтрана,
БСтрана, ВСтрана,ГСтрана]),


Далее указываем конкретные условия из задачи

% свинья "б" из германии. 
member(свинья(б, германия, _), Свиньи),

% австралийская свинья ест овощи. 
member(свинья(_, австралия, овощи), Свиньи), 

% свинья "в" ест каштаны,
member(свинья(в, _, каштаны), Свиньи), 

% а свинья "a" не из франции и ест траву.
member(свинья(а,НеЛюбитФранцию, трава), Свиньи), not(НеЛюбитФранцию=франция),

% ирландская не любит яйца. 
member(свинья(_, ирландия, НеЛюбитЯйца), Свиньи), not(НеЛюбитЯйца=яйца).


Добавляем запускающую функцию, которая вызовет решательную

start(Solve):-
  solve(Solve), Solve = [свинья(а, _, _), свинья(б, _, _), свинья(в, _, _), свинья(г,_,_)].


При запуске start(Решение). получим ответ:


  Решение = [свинья(а, ирландия, трава), свинья(б, германия, яйца), свинья(в, франция,
каштаны), свинья(г, австралия, овощи)]
  false

Чем отличается логическое ИЛИ от исключающее ИЛИ?

#логика

Не могу понять чем отличается логическое ИЛИ от исключающее ИЛИ?
    

Ответы

Ответ 1

В целом это можно описать следующими таблицами истинности: 

Таблица истинности для логического ИЛИ:
ABA or B
00  0   
01  1   
10  1   
11  1   

Таблица истинности для исключающего ИЛИ:
ABA xor B
00   0   
01   1   
10   1   
11   0   

Если на пальцах объяснять, то логическое ИЛИ будет истиной, когда хотя бы один из
операндов — истина. Исключающее ИЛИ будет истиной, если операнды не равны, и ложью,
если операнды равны.


Ответ 2

Легко запомнить: XOR дает ноль, когда нет альтернативы (0-0, 1-1)

Где размещать логику приложения MVVM?

#c_sharp #wpf #mvvm #логика

Всем привет!

Возможно вопрос типичный. Но не дает мне покоя. Если с моделями, вроде таблиц, вопросов
не возникает, то в данном случае не смог найти ответа.

Суть: дорабатываю свою программу (WPF) вышивки крестиком, возникла потребность рисования
с различными его аспектами (типы, выделение и тп).

Есть примерно такой код (идею подсмотрел в FastGrid):

enum CellBlockType
{
    CrossStitch,
    HalfStitch,
    //...
}

interface ISchemeCellBlock
{
    CellBlockType BlockType { get; }
    //...
}

interface ISchemeCell
{
    int BlockCount { get; }
    ISchemeCellBlock GetBlock(int index);
}

interface ISchemeModel
{
    int RowCount { get; }
    int ColumnCount { get; }
    ISchemeCell GetCell(ISchemeView view, int row, int column);
    void HandleCommand(ISchemeView view, CellAddress address, object commandParameter,
ref bool handled);
}

interface ISchemeView
{
    void InvalidateCell(int row, int column);
    void InvalidateAll();
    bool ShowGuideline { get; set; }
    //...
}

struct CellAddress { }


В данный момент все действия мыши обрабатываются в HandleCommand, а в качестве commandParameter
передаются MouseEvenArgs, чтобы понимать когда рисовать/не рисовать, перемещать/вставлять
и тп.

Таким образом, ISchemeView изменяет данные модели минуя ViewModel, но и не в коде
самого представления. В самой же ViewModel предполагается выбор "кистей рисования",
масштабирование, команды ввода/вывода и все косвенные изменения модели.

Имеет ли право на жизнь такой код в рамках MVVM? Или же надо "отправлять" действия
мыши из ISchemeView во ViewModel, а уже через нее воздействовать на саму модель?

UPD:

Итак, сделал как предложил RusArt: переместил редактирование в codebehind контрола.
Что имею теперь:


Model - набор классов, реализующих вышеописанные интерфейсы.
View содержит сам контрол и кнопки для выполнения команд.
ViewModel отдает класс, реализующий ISchemeModel, в контрол через свойство, команды
во View для управления ISchemeModel (сохранение, ведение истории изменений и т.п.),
а также "отдает" во View коллекцию элементов (палитру) из ISchemeModel.


Такой подход будет правильный? И можно ли назвать мои типы данных моделью или что
ею считать?

Хотелось бы до конца разобраться.
    

Ответы

Ответ 1

Если вы хотите следовать паттерну MVVM, то у вас пока не получается. Model ничего
не должна знать про View, а у вас знает (вы передаете ISchemeView и MouseEvenArgs)

Познакомьтесь с командами (интерфейс ICommand). Часто используются сторонние реализации
типа DelegateCommand:

public class DelegateCommand : ICommand
{
    private readonly Predicate