"vscode:/vscode.git/clone" did not exist on "6a666cc55d1f8e2406cb3581342dc098a569c96b"
feature_histogram.hpp 33.8 KB
Newer Older
Guolin Ke's avatar
Guolin Ke committed
1
2
3
4
#ifndef LIGHTGBM_TREELEARNER_FEATURE_HISTOGRAM_HPP_
#define LIGHTGBM_TREELEARNER_FEATURE_HISTOGRAM_HPP_

#include "split_info.hpp"
Guolin Ke's avatar
Guolin Ke committed
5
6
7

#include <LightGBM/utils/array_args.h>
#include <LightGBM/dataset.h>
Guolin Ke's avatar
Guolin Ke committed
8
9

#include <cstring>
10
#include <cmath>
Guolin Ke's avatar
Guolin Ke committed
11

12
namespace LightGBM {
Guolin Ke's avatar
Guolin Ke committed
13

Guolin Ke's avatar
Guolin Ke committed
14
15
16
class FeatureMetainfo {
public:
  int num_bin;
Guolin Ke's avatar
Guolin Ke committed
17
  MissingType missing_type;
18
  int8_t bias = 0;
Guolin Ke's avatar
Guolin Ke committed
19
  uint32_t default_bin;
Guolin Ke's avatar
Guolin Ke committed
20
  int8_t monotone_type;
Guolin Ke's avatar
Guolin Ke committed
21
  double penalty;
Guolin Ke's avatar
Guolin Ke committed
22
  /*! \brief pointer of tree config */
Guolin Ke's avatar
Guolin Ke committed
23
  const Config* config;
24
  BinType bin_type;
Guolin Ke's avatar
Guolin Ke committed
25
};
Guolin Ke's avatar
Guolin Ke committed
26
27
28
29
30
/*!
* \brief FeatureHistogram is used to construct and store a histogram for a feature.
*/
class FeatureHistogram {
public:
Guolin Ke's avatar
Guolin Ke committed
31
  FeatureHistogram() {
Guolin Ke's avatar
Guolin Ke committed
32
    data_ = nullptr;
Guolin Ke's avatar
Guolin Ke committed
33
  }
Guolin Ke's avatar
Guolin Ke committed
34

Guolin Ke's avatar
Guolin Ke committed
35
36
37
  ~FeatureHistogram() {
  }

Guolin Ke's avatar
Guolin Ke committed
38
39
40
41
42
  /*! \brief Disable copy */
  FeatureHistogram& operator=(const FeatureHistogram&) = delete;
  /*! \brief Disable copy */
  FeatureHistogram(const FeatureHistogram&) = delete;

Guolin Ke's avatar
Guolin Ke committed
43
44
45
46
47
  /*!
  * \brief Init the feature histogram
  * \param feature the feature data for this histogram
  * \param min_num_data_one_leaf minimal number of data in one leaf
  */
48
  void Init(HistogramBinEntry* data, const FeatureMetainfo* meta) {
Guolin Ke's avatar
Guolin Ke committed
49
50
    meta_ = meta;
    data_ = data;
51
    if (meta_->bin_type == BinType::NumericalBin) {
52
      find_best_threshold_fun_ = std::bind(&FeatureHistogram::FindBestThresholdNumerical, this, std::placeholders::_1
Guolin Ke's avatar
Guolin Ke committed
53
                                           , std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6);
54
55
    } else {
      find_best_threshold_fun_ = std::bind(&FeatureHistogram::FindBestThresholdCategorical, this, std::placeholders::_1
Guolin Ke's avatar
Guolin Ke committed
56
                                           , std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6);
57
    }
Guolin Ke's avatar
Guolin Ke committed
58
59
  }

Guolin Ke's avatar
Guolin Ke committed
60
61
  HistogramBinEntry* RawData() {
    return data_;
Guolin Ke's avatar
Guolin Ke committed
62
63
64
65
66
67
  }
  /*!
  * \brief Subtract current histograms with other
  * \param other The histogram that want to subtract
  */
  void Subtract(const FeatureHistogram& other) {
Guolin Ke's avatar
Guolin Ke committed
68
    for (int i = 0; i < meta_->num_bin - meta_->bias; ++i) {
Guolin Ke's avatar
Guolin Ke committed
69
70
71
72
73
      data_[i].cnt -= other.data_[i].cnt;
      data_[i].sum_gradients -= other.data_[i].sum_gradients;
      data_[i].sum_hessians -= other.data_[i].sum_hessians;
    }
  }
74

Guolin Ke's avatar
Guolin Ke committed
75
  void FindBestThreshold(double sum_gradient, double sum_hessian, data_size_t num_data, double min_constraint, double max_constraint,
Guolin Ke's avatar
Guolin Ke committed
76
                         SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
77
    output->default_left = true;
Guolin Ke's avatar
Guolin Ke committed
78
    output->gain = kMinScore;
Guolin Ke's avatar
Guolin Ke committed
79
    find_best_threshold_fun_(sum_gradient, sum_hessian + 2 * kEpsilon, num_data, min_constraint, max_constraint, output);
Guolin Ke's avatar
Guolin Ke committed
80
    output->gain *= meta_->penalty;
81
82
  }

Guolin Ke's avatar
Guolin Ke committed
83
  void FindBestThresholdNumerical(double sum_gradient, double sum_hessian, data_size_t num_data, double min_constraint, double max_constraint,
Guolin Ke's avatar
Guolin Ke committed
84
                                  SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
85
    is_splittable_ = false;
Guolin Ke's avatar
Guolin Ke committed
86
    double gain_shift = GetLeafSplitGain(sum_gradient, sum_hessian,
Guolin Ke's avatar
Guolin Ke committed
87
88
                                         meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step);
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
Guolin Ke's avatar
Guolin Ke committed
89
90
    if (meta_->num_bin > 2 && meta_->missing_type != MissingType::None) {
      if (meta_->missing_type == MissingType::Zero) {
Guolin Ke's avatar
Guolin Ke committed
91
92
        FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, -1, true, false);
        FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, 1, true, false);
Guolin Ke's avatar
Guolin Ke committed
93
      } else {
Guolin Ke's avatar
Guolin Ke committed
94
95
        FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, -1, false, true);
        FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, 1, false, true);
Guolin Ke's avatar
Guolin Ke committed
96
      }
97
    } else {
Guolin Ke's avatar
Guolin Ke committed
98
      FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, -1, false, false);
Guolin Ke's avatar
Guolin Ke committed
99
100
101
102
      // fix the direction error when only have 2 bins
      if (meta_->missing_type == MissingType::NaN) {
        output->default_left = false;
      }
Guolin Ke's avatar
Guolin Ke committed
103
    }
Guolin Ke's avatar
Guolin Ke committed
104
    output->gain -= min_gain_shift;
Guolin Ke's avatar
Guolin Ke committed
105
106
107
    output->monotone_type = meta_->monotone_type;
    output->min_constraint = min_constraint;
    output->max_constraint = max_constraint;
Guolin Ke's avatar
Guolin Ke committed
108
  }
109

110
111
  void FindBestThresholdCategorical(double sum_gradient, double sum_hessian, data_size_t num_data,
                                    double min_constraint, double max_constraint,
Guolin Ke's avatar
Guolin Ke committed
112
                                    SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
113
    output->default_left = false;
114
    double best_gain = kMinScore;
115
    data_size_t best_left_count = 0;
ChenZhiyong's avatar
ChenZhiyong committed
116
117
    double best_sum_left_gradient = 0;
    double best_sum_left_hessian = 0;
Guolin Ke's avatar
Guolin Ke committed
118
    double gain_shift = GetLeafSplitGain(sum_gradient, sum_hessian, meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step);
119

Guolin Ke's avatar
Guolin Ke committed
120
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
ChenZhiyong's avatar
ChenZhiyong committed
121
    bool is_full_categorical = meta_->missing_type == MissingType::None;
122
    int used_bin = meta_->num_bin - 1 + is_full_categorical;
ChenZhiyong's avatar
ChenZhiyong committed
123

Guolin Ke's avatar
Guolin Ke committed
124
    std::vector<int> sorted_idx;
Guolin Ke's avatar
Guolin Ke committed
125
126
    double l2 = meta_->config->lambda_l2;
    bool use_onehot = meta_->num_bin <= meta_->config->max_cat_to_onehot;
127
128
    int best_threshold = -1;
    int best_dir = 1;
Guolin Ke's avatar
Guolin Ke committed
129

130
131
132
    if (use_onehot) {
      for (int t = 0; t < used_bin; ++t) {
        // if data not enough, or sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
133
134
        if (data_[t].cnt < meta_->config->min_data_in_leaf
            || data_[t].sum_hessians < meta_->config->min_sum_hessian_in_leaf) continue;
135
136
        data_size_t other_count = num_data - data_[t].cnt;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
137
        if (other_count < meta_->config->min_data_in_leaf) continue;
ChenZhiyong's avatar
ChenZhiyong committed
138

139
140
        double sum_other_hessian = sum_hessian - data_[t].sum_hessians - kEpsilon;
        // if sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
141
        if (sum_other_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
ChenZhiyong's avatar
ChenZhiyong committed
142

143
144
        double sum_other_gradient = sum_gradient - data_[t].sum_gradients;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
145
        double current_gain = GetSplitGains(sum_other_gradient, sum_other_hessian, data_[t].sum_gradients, data_[t].sum_hessians + kEpsilon,
Guolin Ke's avatar
Guolin Ke committed
146
                                            meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
147
                                            min_constraint, max_constraint, 0);
148
        // gain with split is worse than without split
ChenZhiyong's avatar
ChenZhiyong committed
149
        if (current_gain <= min_gain_shift) continue;
150
151

        // mark to is splittable
ChenZhiyong's avatar
ChenZhiyong committed
152
        is_splittable_ = true;
153
        // better split point
ChenZhiyong's avatar
ChenZhiyong committed
154
        if (current_gain > best_gain) {
155
156
157
158
          best_threshold = t;
          best_sum_left_gradient = data_[t].sum_gradients;
          best_sum_left_hessian = data_[t].sum_hessians + kEpsilon;
          best_left_count = data_[t].cnt;
ChenZhiyong's avatar
ChenZhiyong committed
159
          best_gain = current_gain;
160
161
162
163
        }
      }
    } else {
      for (int i = 0; i < used_bin; ++i) {
Guolin Ke's avatar
Guolin Ke committed
164
        if (data_[i].cnt >= meta_->config->cat_smooth) {
165
166
167
168
169
          sorted_idx.push_back(i);
        }
      }
      used_bin = static_cast<int>(sorted_idx.size());

Guolin Ke's avatar
Guolin Ke committed
170
      l2 += meta_->config->cat_l2;
171
172

      auto ctr_fun = [this](double sum_grad, double sum_hess) {
Guolin Ke's avatar
Guolin Ke committed
173
        return (sum_grad) / (sum_hess + meta_->config->cat_smooth);
174
175
176
177
178
179
180
181
182
183
      };
      std::sort(sorted_idx.begin(), sorted_idx.end(),
                [this, &ctr_fun](int i, int j) {
        return ctr_fun(data_[i].sum_gradients, data_[i].sum_hessians) < ctr_fun(data_[j].sum_gradients, data_[j].sum_hessians);
      });

      std::vector<int> find_direction(1, 1);
      std::vector<int> start_position(1, 0);
      find_direction.push_back(-1);
      start_position.push_back(used_bin - 1);
Guolin Ke's avatar
Guolin Ke committed
184
      const int max_num_cat = std::min(meta_->config->max_cat_threshold, (used_bin + 1) / 2);
185
186
187
188
189

      is_splittable_ = false;
      for (size_t out_i = 0; out_i < find_direction.size(); ++out_i) {
        auto dir = find_direction[out_i];
        auto start_pos = start_position[out_i];
Guolin Ke's avatar
Guolin Ke committed
190
        data_size_t min_data_per_group = meta_->config->min_data_per_group;
191
192
193
194
195
196
197
198
199
200
201
202
203
        data_size_t cnt_cur_group = 0;
        double sum_left_gradient = 0.0f;
        double sum_left_hessian = kEpsilon;
        data_size_t left_count = 0;
        for (int i = 0; i < used_bin && i < max_num_cat; ++i) {
          auto t = sorted_idx[start_pos];
          start_pos += dir;

          sum_left_gradient += data_[t].sum_gradients;
          sum_left_hessian += data_[t].sum_hessians;
          left_count += data_[t].cnt;
          cnt_cur_group += data_[t].cnt;

Guolin Ke's avatar
Guolin Ke committed
204
205
          if (left_count < meta_->config->min_data_in_leaf
              || sum_left_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
206
          data_size_t right_count = num_data - left_count;
Guolin Ke's avatar
Guolin Ke committed
207
          if (right_count < meta_->config->min_data_in_leaf || right_count < min_data_per_group) break;
208
209

          double sum_right_hessian = sum_hessian - sum_left_hessian;
Guolin Ke's avatar
Guolin Ke committed
210
          if (sum_right_hessian < meta_->config->min_sum_hessian_in_leaf) break;
211
212
213
214
215
216

          if (cnt_cur_group < min_data_per_group) continue;

          cnt_cur_group = 0;

          double sum_right_gradient = sum_gradient - sum_left_gradient;
Guolin Ke's avatar
Guolin Ke committed
217
          double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
218
                                              meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
219
                                              min_constraint, max_constraint, 0);
220
221
222
223
224
225
226
227
228
229
          if (current_gain <= min_gain_shift) continue;
          is_splittable_ = true;
          if (current_gain > best_gain) {
            best_left_count = left_count;
            best_sum_left_gradient = sum_left_gradient;
            best_sum_left_hessian = sum_left_hessian;
            best_threshold = i;
            best_gain = current_gain;
            best_dir = dir;
          }
ChenZhiyong's avatar
ChenZhiyong committed
230
        }
231
232
      }
    }
233

234
    if (is_splittable_) {
Guolin Ke's avatar
Guolin Ke committed
235
      output->left_output = CalculateSplittedLeafOutput(best_sum_left_gradient, best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
236
                                                        meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
237
                                                        min_constraint, max_constraint);
238
239
240
241
      output->left_count = best_left_count;
      output->left_sum_gradient = best_sum_left_gradient;
      output->left_sum_hessian = best_sum_left_hessian - kEpsilon;
      output->right_output = CalculateSplittedLeafOutput(sum_gradient - best_sum_left_gradient,
Guolin Ke's avatar
Guolin Ke committed
242
                                                         sum_hessian - best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
243
                                                         meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
244
                                                         min_constraint, max_constraint);
245
246
247
      output->right_count = num_data - best_left_count;
      output->right_sum_gradient = sum_gradient - best_sum_left_gradient;
      output->right_sum_hessian = sum_hessian - best_sum_left_hessian - kEpsilon;
Guolin Ke's avatar
Guolin Ke committed
248
      output->gain = best_gain - min_gain_shift;
249
250
251
      if (use_onehot) {
        output->num_cat_threshold = 1;
        output->cat_threshold = std::vector<uint32_t>(1, static_cast<uint32_t>(best_threshold));
ChenZhiyong's avatar
ChenZhiyong committed
252
      } else {
253
254
255
256
257
258
259
260
261
262
263
264
        output->num_cat_threshold = best_threshold + 1;
        output->cat_threshold = std::vector<uint32_t>(output->num_cat_threshold);
        if (best_dir == 1) {
          for (int i = 0; i < output->num_cat_threshold; ++i) {
            auto t = sorted_idx[i];
            output->cat_threshold[i] = t;
          }
        } else {
          for (int i = 0; i < output->num_cat_threshold; ++i) {
            auto t = sorted_idx[used_bin - 1 - i];
            output->cat_threshold[i] = t;
          }
ChenZhiyong's avatar
ChenZhiyong committed
265
266
        }
      }
Guolin Ke's avatar
Guolin Ke committed
267
268
269
      output->monotone_type = 0;
      output->min_constraint = min_constraint;
      output->max_constraint = max_constraint;
270
    }
271
272
  }

273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
  void GatherInfoForThreshold(double sum_gradient, double sum_hessian,
                              uint32_t threshold, data_size_t num_data, SplitInfo *output) {
    if (meta_->bin_type == BinType::NumericalBin) {
      GatherInfoForThresholdNumerical(sum_gradient, sum_hessian, threshold,
                                      num_data, output);
    } else {
      GatherInfoForThresholdCategorical(sum_gradient, sum_hessian, threshold,
                                        num_data, output);
    }
  }

  void GatherInfoForThresholdNumerical(double sum_gradient, double sum_hessian,
                                       uint32_t threshold, data_size_t num_data,
                                       SplitInfo *output) {
    double gain_shift = GetLeafSplitGain(sum_gradient, sum_hessian,
Guolin Ke's avatar
Guolin Ke committed
288
289
290
                                         meta_->config->lambda_l1, meta_->config->lambda_l2,
                                         meta_->config->max_delta_step);
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
291
292
293
294
295
296
297
298
299

    // do stuff here
    const int8_t bias = meta_->bias;

    double sum_right_gradient = 0.0f;
    double sum_right_hessian = kEpsilon;
    data_size_t right_count = 0;

    // set values
300
301
    bool use_na_as_missing = false;
    bool skip_default_bin = false;
302
303
    if (meta_->missing_type == MissingType::Zero) {
      skip_default_bin = true;
304
    } else if (meta_->missing_type == MissingType::NaN) {
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
      use_na_as_missing = true;
    }

    int t = meta_->num_bin - 1 - bias - use_na_as_missing;
    const int t_end = 1 - bias;

    // from right to left, and we don't need data in bin0
    for (; t >= t_end; --t) {
      if (static_cast<uint32_t>(t + bias) < threshold) { break; }

      // need to skip default bin
      if (skip_default_bin && (t + bias) == static_cast<int>(meta_->default_bin)) { continue; }

      sum_right_gradient += data_[t].sum_gradients;
      sum_right_hessian += data_[t].sum_hessians;
      right_count += data_[t].cnt;
    }
    double sum_left_gradient = sum_gradient - sum_right_gradient;
    double sum_left_hessian = sum_hessian - sum_right_hessian;
    data_size_t left_count = num_data - right_count;
    double current_gain = GetLeafSplitGain(sum_left_gradient, sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
326
327
                                           meta_->config->lambda_l1, meta_->config->lambda_l2,
                                           meta_->config->max_delta_step)
328
          + GetLeafSplitGain(sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
329
330
                             meta_->config->lambda_l1, meta_->config->lambda_l2,
                             meta_->config->max_delta_step);
331
332
333
334

    // gain with split is worse than without split
    if (std::isnan(current_gain) || current_gain <= min_gain_shift) {
      output->gain = kMinScore;
335
      Log::Warning("'Forced Split' will be ignored since the gain getting worse. ");
336
      return;
337
    }
338
339
340
341

    // update split information
    output->threshold = threshold;
    output->left_output = CalculateSplittedLeafOutput(sum_left_gradient, sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
342
343
                                                      meta_->config->lambda_l1, meta_->config->lambda_l2,
                                                      meta_->config->max_delta_step);
344
345
346
347
348
    output->left_count = left_count;
    output->left_sum_gradient = sum_left_gradient;
    output->left_sum_hessian = sum_left_hessian - kEpsilon;
    output->right_output = CalculateSplittedLeafOutput(sum_gradient - sum_left_gradient,
                                                       sum_hessian - sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
349
350
                                                       meta_->config->lambda_l1, meta_->config->lambda_l2,
                                                       meta_->config->max_delta_step);
351
352
353
354
355
356
357
358
359
360
361
362
363
364
    output->right_count = num_data - left_count;
    output->right_sum_gradient = sum_gradient - sum_left_gradient;
    output->right_sum_hessian = sum_hessian - sum_left_hessian - kEpsilon;
    output->gain = current_gain;
    output->gain -= min_gain_shift;
    output->default_left = true;
  }

  void GatherInfoForThresholdCategorical(double sum_gradient, double sum_hessian,
                                         uint32_t threshold, data_size_t num_data, SplitInfo *output) {
    // get SplitInfo for a given one-hot categorical split.
    output->default_left = false;
    double gain_shift = GetLeafSplitGain(
            sum_gradient, sum_hessian,
Guolin Ke's avatar
Guolin Ke committed
365
366
367
            meta_->config->lambda_l1, meta_->config->lambda_l2,
            meta_->config->max_delta_step);
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
368
369
370
371
372
373
374
375
    bool is_full_categorical = meta_->missing_type == MissingType::None;
    int used_bin = meta_->num_bin - 1 + is_full_categorical;
    if (threshold >= static_cast<uint32_t>(used_bin)) {
      output->gain = kMinScore;
      Log::Warning("Invalid categorical threshold split");
      return;
    }

Guolin Ke's avatar
Guolin Ke committed
376
    double l2 = meta_->config->lambda_l2;
377
378
379
380
381
382
383
384
    data_size_t left_count = data_[threshold].cnt;
    data_size_t right_count = num_data - left_count;
    double sum_left_hessian = data_[threshold].sum_hessians + kEpsilon;
    double sum_right_hessian = sum_hessian - sum_left_hessian;
    double sum_left_gradient = data_[threshold].sum_gradients;
    double sum_right_gradient = sum_gradient - sum_left_gradient;
    // current split gain
    double current_gain = GetLeafSplitGain(sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
385
386
                                           meta_->config->lambda_l1, l2,
                                           meta_->config->max_delta_step)
387
        + GetLeafSplitGain(sum_left_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
388
389
                           meta_->config->lambda_l1, l2,
                           meta_->config->max_delta_step);
390
391
    if (std::isnan(current_gain) || current_gain <= min_gain_shift) {
      output->gain = kMinScore;
392
      Log::Warning("'Forced Split' will be ignored since the gain getting worse. ");
393
394
395
396
      return;
    }

    output->left_output = CalculateSplittedLeafOutput(sum_left_gradient, sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
397
398
                                                      meta_->config->lambda_l1, l2,
                                                      meta_->config->max_delta_step);
399
400
401
402
    output->left_count = left_count;
    output->left_sum_gradient = sum_left_gradient;
    output->left_sum_hessian = sum_left_hessian - kEpsilon;
    output->right_output = CalculateSplittedLeafOutput(sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
403
404
                                                       meta_->config->lambda_l1, l2,
                                                       meta_->config->max_delta_step);
405
406
407
408
409
410
411
412
413
    output->right_count = right_count;
    output->right_sum_gradient = sum_gradient - sum_left_gradient;
    output->right_sum_hessian = sum_right_hessian - kEpsilon;
    output->gain = current_gain - min_gain_shift;
    output->num_cat_threshold = 1;
    output->cat_threshold = std::vector<uint32_t>(1, threshold);
  }


Guolin Ke's avatar
Guolin Ke committed
414
415
416
417
  /*!
  * \brief Binary size of this histogram
  */
  int SizeOfHistgram() const {
Guolin Ke's avatar
Guolin Ke committed
418
    return (meta_->num_bin - meta_->bias) * sizeof(HistogramBinEntry);
Guolin Ke's avatar
Guolin Ke committed
419
420
421
422
423
  }

  /*!
  * \brief Restore histogram from memory
  */
Guolin Ke's avatar
Guolin Ke committed
424
425
  void FromMemory(char* memory_data) {
    std::memcpy(data_, memory_data, (meta_->num_bin - meta_->bias) * sizeof(HistogramBinEntry));
Guolin Ke's avatar
Guolin Ke committed
426
427
428
429
430
431
432
433
434
435
436
437
  }

  /*!
  * \brief True if this histogram can be splitted
  */
  bool is_splittable() { return is_splittable_; }

  /*!
  * \brief Set splittable to this histogram
  */
  void set_is_splittable(bool val) { is_splittable_ = val; }

438
439
440
441
442
443
444
445
446
447
448
449
  static double ThresholdL1(double s, double l1) {
    const double reg_s = std::max(0.0, std::fabs(s) - l1);
    return Common::Sign(s) * reg_s;
  }

  static double CalculateSplittedLeafOutput(double sum_gradients, double sum_hessians, double l1, double l2, double max_delta_step) {
    double ret = -ThresholdL1(sum_gradients, l1) / (sum_hessians + l2);
    if (max_delta_step <= 0.0f || std::fabs(ret) <= max_delta_step) {
      return ret;
    } else {
      return Common::Sign(ret) * max_delta_step;
    }
Guolin Ke's avatar
Guolin Ke committed
450
451
452
453
454
  }

private:
  static double GetSplitGains(double sum_left_gradients, double sum_left_hessians,
                              double sum_right_gradients, double sum_right_hessians,
455
                              double l1, double l2, double max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
456
                              double min_constraint, double max_constraint, int8_t monotone_constraint) {
457
458
    double left_output = CalculateSplittedLeafOutput(sum_left_gradients, sum_left_hessians, l1, l2, max_delta_step, min_constraint, max_constraint);
    double right_output = CalculateSplittedLeafOutput(sum_right_gradients, sum_right_hessians, l1, l2, max_delta_step, min_constraint, max_constraint);
Guolin Ke's avatar
Guolin Ke committed
459
460
461
462
463
464
465
466
    if (((monotone_constraint > 0) && (left_output > right_output)) ||
      ((monotone_constraint < 0) && (left_output < right_output))) {
      return 0;
    }
    return GetLeafSplitGainGivenOutput(sum_left_gradients, sum_left_hessians, l1, l2, left_output)
      + GetLeafSplitGainGivenOutput(sum_right_gradients, sum_right_hessians, l1, l2, right_output);
  }

Guolin Ke's avatar
Guolin Ke committed
467
  /*!
468
  * \brief Calculate the output of a leaf based on regularized sum_gradients and sum_hessians
Guolin Ke's avatar
Guolin Ke committed
469
470
471
472
  * \param sum_gradients
  * \param sum_hessians
  * \return leaf output
  */
473
  static double CalculateSplittedLeafOutput(double sum_gradients, double sum_hessians, double l1, double l2, double max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
474
                                            double min_constraint, double max_constraint) {
475
    double ret = CalculateSplittedLeafOutput(sum_gradients, sum_hessians, l1, l2, max_delta_step);
Guolin Ke's avatar
Guolin Ke committed
476
477
478
479
480
481
    if (ret < min_constraint) {
      ret = min_constraint;
    } else if (ret > max_constraint) {
      ret = max_constraint;
    }
    return ret;
Guolin Ke's avatar
Guolin Ke committed
482
  }
Guolin Ke's avatar
Guolin Ke committed
483

Guolin Ke's avatar
Guolin Ke committed
484
485
486
487
488
489
  /*!
  * \brief Calculate the split gain based on regularized sum_gradients and sum_hessians
  * \param sum_gradients
  * \param sum_hessians
  * \return split gain
  */
490
491
492
  static double GetLeafSplitGain(double sum_gradients, double sum_hessians, double l1, double l2, double max_delta_step) {
    double output = CalculateSplittedLeafOutput(sum_gradients, sum_hessians, l1, l2, max_delta_step);
    return GetLeafSplitGainGivenOutput(sum_gradients, sum_hessians, l1, l2, output);
Guolin Ke's avatar
Guolin Ke committed
493
494
495
496
497
498
  }

  static double GetLeafSplitGainGivenOutput(double sum_gradients, double sum_hessians, double l1, double l2, double output) {
    const double sg_l1 = ThresholdL1(sum_gradients, l1);
    return -(2.0 * sg_l1 * output + (sum_hessians + l2) * output * output);
  }
Guolin Ke's avatar
Guolin Ke committed
499

Guolin Ke's avatar
Guolin Ke committed
500
501
  void FindBestThresholdSequence(double sum_gradient, double sum_hessian, data_size_t num_data, double min_constraint, double max_constraint,
                                 double min_gain_shift, SplitInfo* output, int dir, bool skip_default_bin, bool use_na_as_missing) {
502
    const int8_t bias = meta_->bias;
Guolin Ke's avatar
Guolin Ke committed
503
504
505
506
507
508
509
510
511
512
513
514

    double best_sum_left_gradient = NAN;
    double best_sum_left_hessian = NAN;
    double best_gain = kMinScore;
    data_size_t best_left_count = 0;
    uint32_t best_threshold = static_cast<uint32_t>(meta_->num_bin);

    if (dir == -1) {
      double sum_right_gradient = 0.0f;
      double sum_right_hessian = kEpsilon;
      data_size_t right_count = 0;

Guolin Ke's avatar
Guolin Ke committed
515
      int t = meta_->num_bin - 1 - bias - use_na_as_missing;
Guolin Ke's avatar
Guolin Ke committed
516
517
518
519
520
521
522
523
524
525
526
      const int t_end = 1 - bias;

      // from right to left, and we don't need data in bin0
      for (; t >= t_end; --t) {
        // need to skip default bin
        if (skip_default_bin && (t + bias) == static_cast<int>(meta_->default_bin)) { continue; }

        sum_right_gradient += data_[t].sum_gradients;
        sum_right_hessian += data_[t].sum_hessians;
        right_count += data_[t].cnt;
        // if data not enough, or sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
527
528
        if (right_count < meta_->config->min_data_in_leaf
            || sum_right_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
Guolin Ke's avatar
Guolin Ke committed
529
530
        data_size_t left_count = num_data - right_count;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
531
        if (left_count < meta_->config->min_data_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
532
533
534

        double sum_left_hessian = sum_hessian - sum_right_hessian;
        // if sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
535
        if (sum_left_hessian < meta_->config->min_sum_hessian_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
536
537
538

        double sum_left_gradient = sum_gradient - sum_right_gradient;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
539
        double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
540
                                            meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
541
                                            min_constraint, max_constraint, meta_->monotone_type);
Guolin Ke's avatar
Guolin Ke committed
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
        // gain with split is worse than without split
        if (current_gain <= min_gain_shift) continue;

        // mark to is splittable
        is_splittable_ = true;
        // better split point
        if (current_gain > best_gain) {
          best_left_count = left_count;
          best_sum_left_gradient = sum_left_gradient;
          best_sum_left_hessian = sum_left_hessian;
          // left is <= threshold, right is > threshold.  so this is t-1
          best_threshold = static_cast<uint32_t>(t - 1 + bias);
          best_gain = current_gain;
        }
      }
ChenZhiyong's avatar
ChenZhiyong committed
557
    } else {
Guolin Ke's avatar
Guolin Ke committed
558
559
560
561
562
563
564
      double sum_left_gradient = 0.0f;
      double sum_left_hessian = kEpsilon;
      data_size_t left_count = 0;

      int t = 0;
      const int t_end = meta_->num_bin - 2 - bias;

Guolin Ke's avatar
Guolin Ke committed
565
566
567
568
569
570
571
572
573
574
575
576
      if (use_na_as_missing && bias == 1) {
        sum_left_gradient = sum_gradient;
        sum_left_hessian = sum_hessian - kEpsilon;
        left_count = num_data;
        for (int i = 0; i < meta_->num_bin - bias; ++i) {
          sum_left_gradient -= data_[i].sum_gradients;
          sum_left_hessian -= data_[i].sum_hessians;
          left_count -= data_[i].cnt;
        }
        t = -1;
      }

Guolin Ke's avatar
Guolin Ke committed
577
578
579
      for (; t <= t_end; ++t) {
        // need to skip default bin
        if (skip_default_bin && (t + bias) == static_cast<int>(meta_->default_bin)) { continue; }
Guolin Ke's avatar
Guolin Ke committed
580
581
582
583
584
        if (t >= 0) {
          sum_left_gradient += data_[t].sum_gradients;
          sum_left_hessian += data_[t].sum_hessians;
          left_count += data_[t].cnt;
        }
Guolin Ke's avatar
Guolin Ke committed
585
        // if data not enough, or sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
586
587
        if (left_count < meta_->config->min_data_in_leaf
            || sum_left_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
Guolin Ke's avatar
Guolin Ke committed
588
589
        data_size_t right_count = num_data - left_count;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
590
        if (right_count < meta_->config->min_data_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
591
592
593

        double sum_right_hessian = sum_hessian - sum_left_hessian;
        // if sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
594
        if (sum_right_hessian < meta_->config->min_sum_hessian_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
595
596
597

        double sum_right_gradient = sum_gradient - sum_left_gradient;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
598
        double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
599
                                            meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
600
                                            min_constraint, max_constraint, meta_->monotone_type);
Guolin Ke's avatar
Guolin Ke committed
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
        // gain with split is worse than without split
        if (current_gain <= min_gain_shift) continue;

        // mark to is splittable
        is_splittable_ = true;
        // better split point
        if (current_gain > best_gain) {
          best_left_count = left_count;
          best_sum_left_gradient = sum_left_gradient;
          best_sum_left_hessian = sum_left_hessian;
          best_threshold = static_cast<uint32_t>(t + bias);
          best_gain = current_gain;
        }
      }
    }

    if (is_splittable_ && best_gain > output->gain) {
      // update split information
      output->threshold = best_threshold;
      output->left_output = CalculateSplittedLeafOutput(best_sum_left_gradient, best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
621
                                                        meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
622
                                                        min_constraint, max_constraint);
Guolin Ke's avatar
Guolin Ke committed
623
624
625
626
627
      output->left_count = best_left_count;
      output->left_sum_gradient = best_sum_left_gradient;
      output->left_sum_hessian = best_sum_left_hessian - kEpsilon;
      output->right_output = CalculateSplittedLeafOutput(sum_gradient - best_sum_left_gradient,
                                                         sum_hessian - best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
628
                                                         meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
629
                                                         min_constraint, max_constraint);
Guolin Ke's avatar
Guolin Ke committed
630
631
632
633
      output->right_count = num_data - best_left_count;
      output->right_sum_gradient = sum_gradient - best_sum_left_gradient;
      output->right_sum_hessian = sum_hessian - best_sum_left_hessian - kEpsilon;
      output->gain = best_gain;
Guolin Ke's avatar
Guolin Ke committed
634
      output->default_left = dir == -1;
Guolin Ke's avatar
Guolin Ke committed
635
636
637
    }
  }

Guolin Ke's avatar
Guolin Ke committed
638
  const FeatureMetainfo* meta_;
Guolin Ke's avatar
Guolin Ke committed
639
  /*! \brief sum of gradient of each bin */
Guolin Ke's avatar
Guolin Ke committed
640
  HistogramBinEntry* data_;
641
  // std::vector<HistogramBinEntry> data_;
Guolin Ke's avatar
Guolin Ke committed
642
  bool is_splittable_ = true;
643

Guolin Ke's avatar
Guolin Ke committed
644
  std::function<void(double, double, data_size_t, double, double, SplitInfo*)> find_best_threshold_fun_;
Guolin Ke's avatar
Guolin Ke committed
645
};
Guolin Ke's avatar
Guolin Ke committed
646
647
648
649
650
651
class HistogramPool {
public:
  /*!
  * \brief Constructor
  */
  HistogramPool() {
Guolin Ke's avatar
Guolin Ke committed
652
653
    cache_size_ = 0;
    total_size_ = 0;
Guolin Ke's avatar
Guolin Ke committed
654
655
656
657
658
659
660
661
662
663
664
  }
  /*!
  * \brief Destructor
  */
  ~HistogramPool() {
  }
  /*!
  * \brief Reset pool size
  * \param cache_size Max cache size
  * \param total_size Total size will be used
  */
Guolin Ke's avatar
Guolin Ke committed
665
  void Reset(int cache_size, int total_size) {
Guolin Ke's avatar
Guolin Ke committed
666
667
668
669
670
671
672
673
674
    cache_size_ = cache_size;
    // at least need 2 bucket to store smaller leaf and larger leaf
    CHECK(cache_size_ >= 2);
    total_size_ = total_size;
    if (cache_size_ > total_size_) {
      cache_size_ = total_size_;
    }
    is_enough_ = (cache_size_ == total_size_);
    if (!is_enough_) {
675
676
677
      mapper_.resize(total_size_);
      inverse_mapper_.resize(cache_size_);
      last_used_time_.resize(cache_size_);
Guolin Ke's avatar
Guolin Ke committed
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
      ResetMap();
    }
  }
  /*!
  * \brief Reset mapper
  */
  void ResetMap() {
    if (!is_enough_) {
      cur_time_ = 0;
      std::fill(mapper_.begin(), mapper_.end(), -1);
      std::fill(inverse_mapper_.begin(), inverse_mapper_.end(), -1);
      std::fill(last_used_time_.begin(), last_used_time_.end(), 0);
    }
  }

Guolin Ke's avatar
Guolin Ke committed
693
  void DynamicChangeSize(const Dataset* train_data, const Config* config, int cache_size, int total_size) {
Guolin Ke's avatar
Guolin Ke committed
694
    if (feature_metas_.empty()) {
Guolin Ke's avatar
Guolin Ke committed
695
696
      int num_feature = train_data->num_features();
      feature_metas_.resize(num_feature);
697
      #pragma omp parallel for schedule(static, 512) if (num_feature >= 1024)
Guolin Ke's avatar
Guolin Ke committed
698
      for (int i = 0; i < num_feature; ++i) {
Guolin Ke's avatar
Guolin Ke committed
699
        feature_metas_[i].num_bin = train_data->FeatureNumBin(i);
Guolin Ke's avatar
Guolin Ke committed
700
        feature_metas_[i].default_bin = train_data->FeatureBinMapper(i)->GetDefaultBin();
Guolin Ke's avatar
Guolin Ke committed
701
        feature_metas_[i].missing_type = train_data->FeatureBinMapper(i)->missing_type();
Guolin Ke's avatar
Guolin Ke committed
702
        feature_metas_[i].monotone_type = train_data->FeatureMonotone(i);
Guolin Ke's avatar
Guolin Ke committed
703
        feature_metas_[i].penalty = train_data->FeaturePenalte(i);
Guolin Ke's avatar
Guolin Ke committed
704
705
706
707
708
        if (train_data->FeatureBinMapper(i)->GetDefaultBin() == 0) {
          feature_metas_[i].bias = 1;
        } else {
          feature_metas_[i].bias = 0;
        }
Guolin Ke's avatar
Guolin Ke committed
709
        feature_metas_[i].config = config;
710
        feature_metas_[i].bin_type = train_data->FeatureBinMapper(i)->bin_type();
Guolin Ke's avatar
Guolin Ke committed
711
      }
Guolin Ke's avatar
Guolin Ke committed
712
    }
Guolin Ke's avatar
Guolin Ke committed
713
714
    uint64_t num_total_bin = train_data->NumTotalBin();
    Log::Info("Total Bins %d", num_total_bin);
Guolin Ke's avatar
Guolin Ke committed
715
    int old_cache_size = static_cast<int>(pool_.size());
Guolin Ke's avatar
Guolin Ke committed
716
    Reset(cache_size, total_size);
Guolin Ke's avatar
Guolin Ke committed
717
718
719
720
721
722

    if (cache_size > old_cache_size) {
      pool_.resize(cache_size);
      data_.resize(cache_size);
    }

723
    OMP_INIT_EX();
Guolin Ke's avatar
Guolin Ke committed
724
    #pragma omp parallel for schedule(static)
Guolin Ke's avatar
Guolin Ke committed
725
    for (int i = old_cache_size; i < cache_size; ++i) {
726
      OMP_LOOP_EX_BEGIN();
Guolin Ke's avatar
Guolin Ke committed
727
728
729
730
731
      pool_[i].reset(new FeatureHistogram[train_data->num_features()]);
      data_[i].resize(num_total_bin);
      uint64_t offset = 0;
      for (int j = 0; j < train_data->num_features(); ++j) {
        offset += static_cast<uint64_t>(train_data->SubFeatureBinOffset(j));
732
        pool_[i][j].Init(data_[i].data() + offset, &feature_metas_[j]);
Guolin Ke's avatar
Guolin Ke committed
733
734
735
736
737
738
739
        auto num_bin = train_data->FeatureNumBin(j);
        if (train_data->FeatureBinMapper(j)->GetDefaultBin() == 0) {
          num_bin -= 1;
        }
        offset += static_cast<uint64_t>(num_bin);
      }
      CHECK(offset == num_total_bin);
740
      OMP_LOOP_EX_END();
Guolin Ke's avatar
Guolin Ke committed
741
    }
742
    OMP_THROW_EX();
Guolin Ke's avatar
Guolin Ke committed
743
744
  }

Guolin Ke's avatar
Guolin Ke committed
745
  void ResetConfig(const Config* config) {
Guolin Ke's avatar
Guolin Ke committed
746
    int size = static_cast<int>(feature_metas_.size());
747
    #pragma omp parallel for schedule(static, 512) if (size >= 1024)
Guolin Ke's avatar
Guolin Ke committed
748
    for (int i = 0; i < size; ++i) {
Guolin Ke's avatar
Guolin Ke committed
749
      feature_metas_[i].config = config;
Guolin Ke's avatar
Guolin Ke committed
750
751
    }
  }
Guolin Ke's avatar
Guolin Ke committed
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
  /*!
  * \brief Get data for the specific index
  * \param idx which index want to get
  * \param out output data will store into this
  * \return True if this index is in the pool, False if this index is not in the pool
  */
  bool Get(int idx, FeatureHistogram** out) {
    if (is_enough_) {
      *out = pool_[idx].get();
      return true;
    } else if (mapper_[idx] >= 0) {
      int slot = mapper_[idx];
      *out = pool_[slot].get();
      last_used_time_[slot] = ++cur_time_;
      return true;
    } else {
768
      // choose the least used slot
Guolin Ke's avatar
Guolin Ke committed
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
      int slot = static_cast<int>(ArrayArgs<int>::ArgMin(last_used_time_));
      *out = pool_[slot].get();
      last_used_time_[slot] = ++cur_time_;

      // reset previous mapper
      if (inverse_mapper_[slot] >= 0) mapper_[inverse_mapper_[slot]] = -1;

      // update current mapper
      mapper_[idx] = slot;
      inverse_mapper_[slot] = idx;
      return false;
    }
  }

  /*!
  * \brief Move data from one index to another index
  * \param src_idx
  * \param dst_idx
  */
  void Move(int src_idx, int dst_idx) {
    if (is_enough_) {
      std::swap(pool_[src_idx], pool_[dst_idx]);
      return;
    }
    if (mapper_[src_idx] < 0) {
      return;
    }
    // get slot of src idx
    int slot = mapper_[src_idx];
    // reset src_idx
    mapper_[src_idx] = -1;

    // move to dst idx
    mapper_[dst_idx] = slot;
    last_used_time_[slot] = ++cur_time_;
    inverse_mapper_[slot] = dst_idx;
  }
806

Guolin Ke's avatar
Guolin Ke committed
807
808
private:
  std::vector<std::unique_ptr<FeatureHistogram[]>> pool_;
Guolin Ke's avatar
Guolin Ke committed
809
810
  std::vector<std::vector<HistogramBinEntry>> data_;
  std::vector<FeatureMetainfo> feature_metas_;
Guolin Ke's avatar
Guolin Ke committed
811
812
813
814
815
816
817
818
819
  int cache_size_;
  int total_size_;
  bool is_enough_ = false;
  std::vector<int> mapper_;
  std::vector<int> inverse_mapper_;
  std::vector<int> last_used_time_;
  int cur_time_ = 0;
};

Guolin Ke's avatar
Guolin Ke committed
820
}  // namespace LightGBM
Guolin Ke's avatar
Guolin Ke committed
821
#endif   // LightGBM_TREELEARNER_FEATURE_HISTOGRAM_HPP_